Konferenzpaper

Jahr der Veröffentlichung: 1991

Seiten: 94-105

Zeitschrift: ACM SIGPLAN NOTICES

Bandnummer: 26

Heftnummer: 9

ISSN: 0362-1340

Open Access Status: Bronze

Konferenz: 1ST SYMP ON PARTIAL EVALUATION AND SEMANTICS-BASED PROGRAM MANIPULATION ( PEPM 91 )

Verlag: ASSOC COMPUTING MACHINERY

Abstract: 
Various techniques for the partial evaluation of imperative programs with subroutines and possible side-effects are presented. They cover dynamic annotations, a new polyvariant computation scheme, specialization of procedures and functions including call-by-result and call-by-reference parameters. Preprocessing is applied to compute the callgraph and information about the occurences of global variables. We use an abstract interpretation technique for postprocessing, which is used to eliminate unnecessary assignments and to determine the variables which have to be declared. The language related to the partial evaluator is a subset of Pascal with some minor changes.

Harvard-Zitierstil: MEYER, U. (1991) TECHNIQUES FOR PARTIAL EVALUATION OF IMPERATIVE LANGUAGES, ACM SIGPLAN NOTICES, 26(9), pp. 94-105

APA-Zitierstil: MEYER, U. (1991). TECHNIQUES FOR PARTIAL EVALUATION OF IMPERATIVE LANGUAGES. ACM SIGPLAN NOTICES. 26(9), 94-105.