Conference paper

Publication year: 1991

Pages: 94-105

Journal: ACM SIGPLAN NOTICES

Volume number: 26

Issue number: 9

ISSN: 0362-1340

Open access status: Bronze

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

Publisher: 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 Citation style: MEYER, U. (1991) TECHNIQUES FOR PARTIAL EVALUATION OF IMPERATIVE LANGUAGES, ACM SIGPLAN NOTICES, 26(9), pp. 94-105

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