scientific article; zbMATH DE number 1420812

MaRDI QIDQ4944878zbMATH OpenFDO

Authors Michael Leuschel

Publication date 22 March 2000

zbMATH Keywords

logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Specialisation of Prolog and FCP programs using abstract interpretation
• Abstract Interpretation with Specialized Definitions
• Abstract multiple specialization and its application to program parallelization
• scientific article; zbMATH DE number 1222414
• scientific article; zbMATH DE number 25188

Cited in

(9)

• Specialisation of Prolog and FCP programs using abstract interpretation
• Combining program and data specialization
• Fusing logic and control with local transformations: an example optimization
• Abstract Interpretation with Specialized Definitions
• scientific article; zbMATH DE number 25188 (Why is no real title available?)
• Deriving descriptions of possible values of program variables by means of abstract interpretation
• scientific article; zbMATH DE number 1954117 (Why is no real title available?)
• Abstract multiple specialization and its application to program parallelization
• scientific article; zbMATH DE number 7453197 (Why is no real title available?)

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