ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Techniques for partial evaluation of imperative languages
Full text PdfPdf (708 KB)
Source ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation archive
Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation table of contents
New Haven, Connecticut, United States
Pages: 94 - 105  
Year of Publication: 1991
ISBN:0-89791-433-3
Also published in ...
Author
Uwe Meyer  AG Informatik/FB Mathematik, Justus-Liebig-Universität Giessen, Arndtstr. 2, W-6300 Giessen, Germany
Sponsor
SIGPLAN: ACM Special Interest Group on Programming Languages
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 2,   Downloads (12 Months): 18,   Citation Count: 11
Additional Information:

references   cited by   index terms   collaborative colleagues   peer to peer  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/115865.115876
What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

 
1
M. A. Bulyonkov. Polyvariant mixed computation for analyzer programs. Acta Inf., (21), 1984.
 
2
H. Curry. Grundlagen der kombinatorisehen Logik. Amer. J. Math., (52), 1930.
 
3
A. P. Ershov, On mixed computation: Informal account of the strict and polyvariant computational schemes, Control Flow and Data Flow: concepts of distributed programming, Springer-Verlag New York, Inc., New York, NY, 1987
 
4
A. P. Ershov , B. N. Ostrovski, Controlled mixed computation and its application to systematic development of language-oriented parsers, The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation, p.31-48, June 1987, Bad To:9Ailz, Germany
 
5
Neil D. Jones , Peter Sestoft , Harald Sondergaard, An experiment in partial evaluation: the generation of a compiler generator, Proc. of the first international conference on Rewriting techniques and applications, p.124-140, December 1985, Dijon, France
 
6
S. Kleene. Introduction to Metamathematics. D. van Nostrand, 1952.
 
7
it. KrSger. Compiling of a generalized LISP-label-concept by partial evaluation. Reprint: Report 9002, AG Informatik, Universit~t Giet3en, 1990. Kiel 1982.
 
8
H. KrSger and U. Meyer. Some new aspects of partial evaluation of imperative languages. Report 9004, AG Informatik, Universit~it GieBen, 1990. (Submitted for publication).
 
9
Peter. Sestoft, The structure of a self-applicable partial evaluator, on Programs as data objects, p.257-281, April 1986, Copenhagen, Denmark

CITED BY  11
 
Jin Ying , Jin Chengzhi, Constraint-based partial evaluation for imperative languages, Journal of Computer Science and Technology, v.17 n.1, p.64-72, January 2002
Manuvir Das , Thomas Reps , Pascal van Hentenryck, Semantic foundations of binding-time analysis for imperative programs, Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.100-110, June 21-23, 1995, La Jolla, California, United States
Hidehiko Masuhara , Satoshi Matsuoka , Kenichi Asai , Akinori Yonezawa, Compiling away the meta-level in object-oriented concurrent reflective languages using partial evaluation, ACM SIGPLAN Notices, v.30 n.10, p.300-315, Oct. 17, 1995
Vivek Nirkhe , William Pugh, Partial evaluation of high-level imperative programming languages with applications in hard real-time systems, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.269-280, January 19-22, 1992, Albuquerque, New Mexico, United States
Kenichi Asai , Hidehiko Masuhara , Akinori Yonezawa, Partial evaluation of call-by-value &lgr;-calculus with side-effects, ACM SIGPLAN Notices, v.32 n.12, p.12-21, Dec. 1997
Mihnea Marinescu , Benjamin Goldberg, Partial-evaluation techniques for concurrent programs, ACM SIGPLAN Notices, v.32 n.12, p.47-62, Dec. 1997
Paul Kleinrubatscher , Albert Kriegshaber , Robert Zöchling , Robert Glück, Fortran program specialization, ACM SIGPLAN Notices, v.30 n.4, p.61-70, April 1995
Dirk Dussart , John Hughes , Peter Thiemann, Type specialisation for imperative languages, ACM SIGPLAN Notices, v.32 n.8, p.204-216, Aug. 1997
Niels H. Christensen , Robert Glück, Offline partial evaluation can be as accurate as online partial evaluation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.1, p.191-220, January 2004
 
Charles Consel , Julia L. Lawall , Anne-Françoise Le Meur, A tour of tempo: a program specializer for the C language, Science of Computer Programming, v.52 n.1-3, p.341-370, August 2004
Charles Consel , Olivier Danvy, Tutorial notes on partial evaluation, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.493-501, March 1993, Charleston, South Carolina, United States

INDEX TERMS

Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: Common Lisp
      D.3.3 Language Constructs and Features
          Subjects: Procedures, functions, and subroutines

  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
      F.3.3 Studies of Program Constructs


General Terms:
Algorithms, Languages

Collaborative Colleagues:
Uwe Meyer: colleagues

Peer to Peer - Readers of this Article have also read:
This Article has also been published in:

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2009 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player