Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation

DOI10.1007/978-3-540-78769-3_3MaRDI QIDQ5504591zbMATH OpenOpenAlexFDO

Authors Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla

Publication date 22 January 2009

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78769-3_3

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Type-based homeomorphic embedding for online termination
• scientific article; zbMATH DE number 1953286
• General Homomorphic Overloading
• scientific article; zbMATH DE number 1487847

Cites work

• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 1950450 (Why is no real title available?)
• scientific article; zbMATH DE number 1953286 (Why is no real title available?)
• scientific article; zbMATH DE number 236855 (Why is no real title available?)
• A polymorphic type system for Prolog
• Abstract Interpretation with Specialized Definitions
• Efficient Local Unfolding with Ancestor Stacks for Full Prolog
• Logic program specialisation through partial deduction: Control issues
• Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates
• Partial evaluation in logic programming
• Static Analysis
• The execution algorithm of mercury, an efficient purely declarative logic programming language
• Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture

Cited in

(2)

• Type-based homeomorphic embedding for online termination
• scientific article; zbMATH DE number 1953286 (Why is no real title available?)

Describes a project that uses

Uses Software

• ECCE
• Mercury

This page was built for publication: Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5504591)