scientific article; zbMATH DE number 2032417
From MaRDI portal
Publication:4446264
Recommendations
- Specialization of functional logic programs based on needed narrowing
- The narrowing-driven approach to functional logic program specialization
- Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
- Fast narrowing-driven partial evaluation for inductively sequential programs
- scientific article; zbMATH DE number 1696777
Cited in
(20)- An operational semantics of sharing in lazy evaluation
- Cost-augmented partial evaluation of functional logic programs
- A residualizing semantics for the partial evaluation of functional logic programs.
- Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
- scientific article; zbMATH DE number 1692896 (Why is no real title available?)
- scientific article; zbMATH DE number 1696777 (Why is no real title available?)
- Specialization of inductively sequential functional logic programs
- A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation
- scientific article; zbMATH DE number 5007860 (Why is no real title available?)
- Fast Offline Partial Evaluation of Large Logic Programs
- scientific article; zbMATH DE number 3978352 (Why is no real title available?)
- Partial evaluation in logic programming
- scientific article; zbMATH DE number 1222408 (Why is no real title available?)
- scientific article; zbMATH DE number 549962 (Why is no real title available?)
- scientific article; zbMATH DE number 1973220 (Why is no real title available?)
- scientific article; zbMATH DE number 2124969 (Why is no real title available?)
- scientific article; zbMATH DE number 815068 (Why is no real title available?)
- Preserving Sharing in the Partial Evaluation of Lazy Functional Programs
- The narrowing-driven approach to functional logic program specialization
- Preliminary arrangements of arguments in lazy evaluation
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 Q4446264)
