scientific article; zbMATH DE number 1950450

MaRDI QIDQ4413065zbMATH OpenFDO

Authors Elvira Albert, Michael Hanus, Germán Vidal

Publication date 17 July 2003

Full work available at URL http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2002/S02-01/S02-01.html

zbMATH Keywords

Curry programsdeclarative partial evaluatormulti-paradigm functional logic language

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• scientific article; zbMATH DE number 1692905
• Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
• scientific article; zbMATH DE number 1863305
• scientific article; zbMATH DE number 1696777
• A residualizing semantics for the partial evaluation of functional logic programs.

Cited in

(22)

• Partial evaluation of metaprograms in a ``multiple worlds logic language
• Specialization scenarios: a pragmatic approach to declaring program specialization
• A residualizing semantics for the partial evaluation of functional logic programs.
• Rules + strategies for transforming lazy functional logic programs
• A partial evaluation framework for order-sorted equational programs modulo axioms
• Partial evaluation of order-sorted equational programs modulo axioms
• Operational semantics for declarative multi-paradigm languages
• Optimization of rewrite theories by equational partial evaluation
• scientific article; zbMATH DE number 1630028 (Why is no real title available?)
• Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
• scientific article; zbMATH DE number 1692905 (Why is no real title available?)
• scientific article; zbMATH DE number 1696777 (Why is no real title available?)
• A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs
• scientific article; zbMATH DE number 1472273 (Why is no real title available?)
• scientific article; zbMATH DE number 2090121 (Why is no real title available?)
• scientific article; zbMATH DE number 6163261 (Why is no real title available?)
• Scrapping your inefficient engine
• Partial evaluation of Maple
• Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation
• Preserving Sharing in the Partial Evaluation of Lazy Functional Programs
• Symbolic Specialization of Rewriting Logic Theories with Presto
• Type-based homeomorphic embedding for online termination

Describes a project that uses

Uses Software

• BABEL
• ECCE

This page was built for publication:

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