A practical partial evaluator for a multi-paradigm declarative language

DOI10.1007/3-540-44716-4_21MaRDI QIDQ2763647zbMATH OpenFDO

Authors Elvira Albert, Michael Hanus, Germán Vidal

Publication date 21 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2024/20240326

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1950450
• Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
• Partial evaluation in logic programming
• Using an abstract representation to specialize functional logic programs
• scientific article; zbMATH DE number 1254023

Cited in

(11)

• Constraint-based partial evaluation for imperative languages
• Specialization scenarios: a pragmatic approach to declaring program specialization
• Partial evaluation of order-sorted equational programs modulo axioms
• Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
• Interleaving symbolic execution and partial evaluation
• scientific article; zbMATH DE number 1950450 (Why is no real title available?)
• Functional Logic Programming: From Theory to Curry
• scientific article; zbMATH DE number 6163261 (Why is no real title available?)
• Scrapping your inefficient engine
• The narrowing-driven approach to functional logic program specialization
• Programming with narrowing: a tutorial

Describes a project that uses

Uses Software

• ECCE
• TOY

This page was built for publication: A practical partial evaluator for a multi-paradigm declarative language

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