Accurate program analyses for successful specialization of legacy system software

DOI10.1016/S0304-3975(00)00052-9MaRDI QIDQ1583360zbMATH OpenFDO

Authors E.-N. Volanschi, Gilles Muller, Renaud Marlet

Publication date 26 October 2000

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

partial evaluationprogram analysisprogram transformationremote procedure call (RPC)

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 2080281
• A tour of tempo: a program specializer for the C language
• Accurate binding-time analysis for imperative languages: Flow, context, and return sensitivity
• scientific article; zbMATH DE number 1538028
• Specialization scenarios: a pragmatic approach to declaring program specialization

Cites work

• scientific article; zbMATH DE number 236855 (Why is no real title available?)
• Accurate binding-time analysis for imperative languages: Flow, context, and return sensitivity
• DyC: An expressive annotation-directed dynamic compiler for C
• Static and dynamic program compilation by interpreter specialization

Cited in

(1)

• scientific article; zbMATH DE number 2080281 (Why is no real title available?)

Describes a project that uses

Uses Software

• DyC

This page was built for publication: Accurate program analyses for successful specialization of legacy system software

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