22 results on '"Cabeza, Daniel"'
Search Results
2. Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction
3. A New Module System for Prolog
4. An Ordered Logic Program Solver
5. Solving Constraints on Sets of Spatial Objects
6. Towards Provably Correct Code Generation via Horn Logical Continuation Semantics
7. Safe Programming with Pointers Through Stateful Views
8. Role-Based Declarative Synchronization for Reconfigurable Systems
9. Towards a More Practical Hybrid Probabilistic Logic Programming Framework
10. Character-Based Cladistics and Answer Set Programming
11. Specializing Narrowing for Timetable Generation: A Case Study
12. Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization
13. Improved Fusion for Optimizing Generics
14. Type Class Directives
15. A Full Pattern-Based Paradigm for XML Query Processing
16. Improving Memory Usage in the BEAM
17. Functional Framework for Sound Synthesis
18. The Program Inverter LRinv and Its Structure
19. Solving Collaborative Fuzzy Agents Problems with CLP()
20. Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction
21. A Provably Correct Compiler for Efficient Model Checking of Mobile Processes
22. Code Compression
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.