scientific article; zbMATH DE number 2032417

zbMATH Open1159.68388MaRDI QIDQ4446264FDOQ4446264

Authors: Pascual Julián Iranzo 

Publication date: 26 January 2004

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (19)

• Partial evaluation in logic programming
• The narrowing-driven approach to functional logic program specialization
• Title not available (Why is that?)
• An operational semantics of sharing in lazy evaluation
• Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
• Preserving Sharing in the Partial Evaluation of Lazy Functional Programs
• Title not available (Why is that?)
• A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation
• Fast Offline Partial Evaluation of Large Logic Programs
• Cost-augmented partial evaluation of functional logic programs
• A residualizing semantics for the partial evaluation of functional logic programs.
• Title not available (Why is that?)
• Specialization of inductively sequential functional logic programs
• Title not available (Why is that?)
• Preliminary arrangements of arguments in lazy evaluation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• BABEL

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)