scientific article; zbMATH DE number 2080281

MaRDI QIDQ4472532zbMATH OpenFDO

Authors Gilles Muller

Publication date 4 August 2004

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• A tour of tempo: a program specializer for the C language
• Combining program and data specialization
• Specifying monogenetic specializers by means of a relation between source and residual programs
• Accurate program analyses for successful specialization of legacy system software
• scientific article; zbMATH DE number 2080284

Cited in

(17)

• Class hierarchy specialization
• DyC: An expressive annotation-directed dynamic compiler for C
• Accurate program analyses for successful specialization of legacy system software
• Program adaptation via output-constraint specialization
• A tour of tempo: a program specializer for the C language
• Combining program and data specialization
• Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system
• scientific article; zbMATH DE number 1617331 (Why is no real title available?)
• scientific article; zbMATH DE number 2088447 (Why is no real title available?)
• A Binding Scope Analysis for Generic Programs on Arrays
• Multiple specialization using minimal-function graph semantics
• scientific article; zbMATH DE number 2080284 (Why is no real title available?)
• scientific article; zbMATH DE number 1738294 (Why is no real title available?)
• Specifications can make programs run faster
• Programming Languages and Systems
• Static and dynamic program compilation by interpreter specialization
• A portable approach to dynamic optimization in run-time specialization

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