Abstract multiple specialization and its application to program parallelization

DOI10.1016/S0743-1066(99)00031-XMaRDI QIDQ4939539zbMATH OpenOpenAlexFDO

Authors Germán Puebla, Manuel Hermenegildo

Publication date 6 February 2000

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0743-1066(99)00031-x

zbMATH Keywords

abstract interpretationprogram specialization

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Specialisation of Prolog and FCP programs using abstract interpretation
• scientific article; zbMATH DE number 1420812
• Multiple specialization using minimal-function graph semantics
• Abstract Interpretation with Specialized Definitions
• Static analysis of logic programs for independent and parallelism

Cited in

(22)

• Specialisation of Prolog and FCP programs using abstract interpretation
• A scheme for effective specialization of imperative programs
• Class hierarchy specialization
• A tour of tempo: a program specializer for the C language
• Combining program and data specialization
• scientific article; zbMATH DE number 1617331 (Why is no real title available?)
• scientific article; zbMATH DE number 1693552 (Why is no real title available?)
• Abstract Interpretation with Specialized Definitions
• Multiple specialization using minimal-function graph semantics
• scientific article; zbMATH DE number 1954117 (Why is no real title available?)
• scientific article; zbMATH DE number 1973219 (Why is no real title available?)
• scientific article; zbMATH DE number 2080284 (Why is no real title available?)
• scientific article; zbMATH DE number 1497828 (Why is no real title available?)
• scientific article; zbMATH DE number 1497831 (Why is no real title available?)
• Semantic code browsing
• scientific article; zbMATH DE number 1420812 (Why is no real title available?)
• Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs
• Transformation-Enabled Precondition Inference
• Parallel Logic Programming: A Sequel
• Analysis and Transformation of Constrained Horn Clauses for Program Verification
• Regular path clauses and their application in solving loops
• Termination of floating-point computations

This page was built for publication: Abstract multiple specialization and its application to program parallelization

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