scientific article; zbMATH DE number 1973219

MaRDI 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

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
• scientific article; zbMATH DE number 1956455 (Why is no real title available?)
• Incremental and modular context-sensitive analysis

Describes a project that uses

Uses Software

• Kernel-LEAF

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