Accurate program analyses for successful specialization of legacy system software

DOI10.1016/S0304-3975(00)00052-9zbMath0949.68014MaRDI QIDQ1583360

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

Publication date: 26 October 2000

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

zbMATH Keywords

program transformationprogram analysispartial evaluationremote procedure call (RPC)

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Uses Software

• DyC

Cites Work

• 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
• Unnamed Item

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