Formal specification and prototyping of a program specializer

Publisher Website

1 January 1995

book chapter
Published by Springer Nature

p. 666-680
https://doi.org/10.1007/3-540-59293-8_227

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

Natural semantics
Published by Springer Nature ,2005
Techniques for partial evaluation of imperative languages
ACM SIGPLAN Notices, 1991