A model for inter-module analysis and optimizing compilation

DOI10.1007/3-540-45142-0_6MaRDI QIDQ4421873zbMATH OpenFDO

Authors F. Bueno, Maria Garcia De La Banda, Manuel Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey

Publication date 1 September 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2042/20420086.htm

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Abstract multiple specialization and its application to program parallelization
• scientific article; zbMATH DE number 1497828
• Some global optimizations for a PROLOG compiler
• scientific article; zbMATH DE number 879004
• An abstract interpretation framework for optimizing dynamic modular logic languages

Cited in

(4)

• Optimization issues in structured-modular composition programming technology
• Internal models of system F for decompilation
• A compilation and optimization model for aspect-oriented programs
• Incremental and modular context-sensitive analysis

Describes a project that uses

Uses Software

• Kernel-LEAF

This page was built for publication: A model for inter-module analysis and optimizing compilation

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