Accurate program analyses for successful specialization of legacy system software

Authors:
Gilles Muller;Renaud Marlet;Eugen-Nicolae Volanschi
Affiliations:
Univ. de Beaulieu, Rennes, France;Univ. de Beaulieu, Rennes, France;Univ. de Beaulieu, Rennes, France
Venue:
Theoretical Computer Science - Partial evaluation and semantics-based program manipulation
Year:
2000

Citing 0
Cited 3

Static and Dynamic Program Compilation by Interpreter Specialization

Higher-Order and Symbolic Computation
Specialization tools and techniques for systematic optimization of system software

ACM Transactions on Computer Systems (TOCS)
Specialization of Systems Programs: Lessons and Perspectives

SAIG '00 Proceedings of the International Workshop on Semantics, Applications, and Implementation of Program Generation

Quantified Score

Hi-index	0.00

Visualization

Abstract