13 results on '"Puebla, Germán"'
Search Results
2. Cost analysis of object-oriented bytecode programs
3. Decompilation of Java bytecode to Prolog by partial evaluation
4. Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation
5. A Study on the Practicality of Poly-Controlled Partial Evaluation
6. An Abstract Interpretation-based Approach to Mobile Code Safety
7. Preface: Volume 30, Issue 4
8. Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
9. Cost Relation Systems: A Language-Independent Target Language for Cost Analysis.
10. Oracle-Based Partial Evaluation.
11. Selected and extended papers from Bytecode 2013.
12. A practical comparator of cost functions and its applications.
13. Conditional termination of loops over heap-allocated data.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.