scientific article; zbMATH DE number 25188

MaRDI QIDQ3983041zbMATH OpenFDO

Authors John P. Gallagher, Maurice Bruynooghe

Publication date 26 June 1992

zbMATH Keywords

abstract interpretationprogram developmentProlog

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Specialisation of Prolog and FCP programs using abstract interpretation
• Derivation of efficient logic programs by specialization and reduction of nondeterminism
• Publication:4944882
• scientific article; zbMATH DE number 1420812
• Logic program specialisation through partial deduction: Control issues

Cited in

(14)

• Specialisation of Prolog and FCP programs using abstract interpretation
• Sound and complete partial deduction with unfolding based on well-founded measures
• Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation
• scientific article; zbMATH DE number 1696777 (Why is no real title available?)
• A study on the practicality of poly-controlled partial evaluation
• Algorithmic Differentiation of Code with Multiple Context-Specific Activities
• Specifying monogenetic specializers by means of a relation between source and residual programs
• Self-generating program specializers
• Logic program specialisation through partial deduction: Control issues
• scientific article; zbMATH DE number 756073 (Why is no real title available?)
• scientific article; zbMATH DE number 1420812 (Why is no real title available?)
• Concolic testing in CLP
• Generating Specialized Rules and Programs for Demand-Driven Analysis
• Regular tree languages as an abstract domain in program specialisation

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 Q3983041)