Puebla, Germán - Facultad de Informática, Universidad Politécnica de Madrid

• The Ciao Approach to the Dynamic vs. Static Language Dilemma
• PET: A Partial Evaluation-based Test Case Generation Tool for Java Bytecode
• Program Debugging and Validation Using Semantic Approximations
• Towards Integrating Partial Evaluation in a Specialization Framework based
• The CIAO MultiDialect Compiler and System: An Experimentation Workbench for
• In ILPS 1995 WS on Visions for the Future of Logic Programming The CIAO MultiDialect Compiler and System
• Automatic Optimization of Dynamic Scheduling in Logic Programs
• An Abstract Interpretation-based Approach to Mobile Code Safety
• A Model for Inter-module Analysis and Optimizing Compilation
• facultad de inform atica universidad polit ecnica de madrid
• 1995 International Conference on Logic Programming, MIT Press. Incremental Analysis of Logic
• Advanced Compilation Techniques based on Abstract Interpretation and
• Dealing with Numeric Fields in Termination Analysis of Java-like Languages
• 1997 International Conference on Logic Programming, MIT Press. Optimization of Logic Programs
• 3. A Generic Preprocessor for Program Validation and Debugging
• An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework
• To appear in Theory and Practice of Logic Programming (TPLP) Cambridge University Press 1 An Overview of Ciao and its Design Philosophy
• A Generic Framework for the Analysis and Specialization of Logic Programs
• Non-Leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates
• facultad de inform'atica universidad polit'ecnica de madrid
• Compositional CLP-Based Test Data Generation for Imperative Languages
• Upper Bounds of Resource Usage for Java Bytecode using COSTA and its Web Interface
• Combined Static and Dynamic Assertion-based Debugging of Constraint Logic Programs ?
• Under consideration for publication in Theory and Practice of Logic Programming 1 Test Case Generation for Object-Oriented
• Poly-Controlled Partial Evaluation in Practice Claudio Ochoa
• Modular Decompilation of Low-Level Code by Partial Evaluation Miguel Gomez-Zamalloa
• Abstract Interpretation with Specialized Definitions
• Poly-Controlled Partial Evaluation German Puebla
• Abstraction Carrying Code and Resource-Awareness Manuel V. Hermenegildo1,3
• A Generic Framework for Context-Sensitive Analysis of Modular Programs
• Decompilation of Java Bytecode to Prolog by Partial Evaluation Miguel Gomez-Zamalloaa
• Abstract Interpretation-based Code Certification for Pervasive Systems: Preliminary Experiments
• An Overview of Ciao and its Design Philosophy M. V. HERMENEGILDO1,2
• An Incremental Approach to Abstraction-Carrying Elvira Albert1
• Some Techniques for Automated, Resource-Aware Distributed and Mobile
• J. LOGIC PROGRAMMING XXXX:XX, XX:1{... 1 ABSTRACT MULTIPLE SPECIALIZATION
• Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation
• A Framework for Assertion-based Debugging in Constraint Logic Programming
• Verification of Java Bytecode using Analysis and Transformation of Logic Programs