Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Arenas, Puri - Facultad de Informática, Universidad Politécnica de Madrid
Termination Analysis of Java Bytecode Elvira Albert1
Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis
Cost Analysis of Java Bytecode , P. Arenas1
A Generic Framework for the Analysis and Specialization of Logic Programs
Incremental Certificates and Checkers for Abstraction-Carrying Code
Reduced Certificates for Abstraction-Carrying Code
Non-Leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates
Efficient Local Unfolding with Ancestor Stacks for Full Prolog
