Accurate program analyses for successful specialization of legacy system software

DOI10.1016/S0304-3975(00)00052-9zbMATH Open0949.68014MaRDI QIDQ1583360FDOQ1583360

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

Publication date: 26 October 2000

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

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

zbMATH Keywords

partial evaluationprogram analysisprogram transformationremote procedure call (RPC)

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cites Work

• DyC: An expressive annotation-directed dynamic compiler for C
• Title not available (Why is that?)
• Accurate binding-time analysis for imperative languages: Flow, context, and return sensitivity
• Static and dynamic program compilation by interpreter specialization

Cited In (1)

• Title not available (Why is that?)

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)