24 results on '"Falaschi, Moreno"'
Search Results
2. Abstract interpretation and verification of reactive systems
3. Compiling FX on the CM-2
4. Semantics and analysis of linda-based languages
5. Fast abstract interpretation using sequential algorithms
6. Usage analysis with natural reduction types
7. Optimization techniques for general purpose fixpoint algorithms practical efficiency for the abstract interpretation of Prolog
8. Chaotic fixpoint iteration guided by dynamic dependency
9. A congruence for gamma programs
10. Polymorphic types and widening operators
11. An efficient abductive reasoning system based on program analysis
12. Strictness properties of lazy algebraic datatypes
13. The impact of granularity in abstract interpretation of Prolog
14. Minimal thunkification
15. Finiteness conditions for strictness analysis
16. Synthesis of directionality information for functional logic programs
17. Abstract rewriting
18. Avoiding repeated tests in pattern matching
19. Tupling functions with multiple recursion parameters
20. Freeness, sharing, linearity and correctness — All at once
21. Occam's razor in metacomputation: the notion of a perfect process tree
22. Demonstration: static analysis of AKL
23. Challenges in developing useful and practical static analysis for logic programs
24. Reflections on program optimization
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.