Readscheme.org
Partial Evaluation Bibliography Home
Surveys
Techniques
Lambda Calculus
Scheme
C
Java
Logic Program Specialization
Applications
Recent Additions
Browse by Author
Search...
Implementations
Past Events
Journal Special Issues
Implementations

Partial Evaluators for C and Imperative Languages

  • Lars Ole Andersen. "Binding-Time Analysis and the Taming of C Pointers". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'93). 1993. Available online: ps pdf. Citation.
  • Lars Ole Andersen. "C Program Specialization". Masters Thesis. DIKU, University of Copenhagen. December 1991. Available online: ps pdf. Citation.
  • Lars Ole Andersen. "C Program Specialization". DIKU, University of Copenhagen. May 1992. Available online: ps pdf. Citation.
  • Lars Ole Andersen. "Partial Evaluation of C and Automatic Compiler Generation". Compiler Constructions--4th International Conference, CC'92. October 1992. Available online: ps pdf. Citation.
  • Lars Ole Andersen. "Self-Applicable C Program Specialization". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'92). June 1992. Available online: ps pdf. Citation.
  • Lars Ole Andersen. "Program Analysis and Specialization for the C Programming Language". PhD. Thesis. DIKU, University of Copenhagen. May 1994. Available online: ps pdf. Citation.
  • Arne J. Glenstrup, Henning Makholm and Jens Peter Secher. "C-Mix -- Specialization of C Programs". Partial Evaluation: Practice and Theory. 1999. Citation.
  • Arne J. Glenstrup, Henning Makholm and Jens Peter Secher. "C-Mix: Making Easily Maintainable C-Programs run Fast". Software Tools for Technology Transfer. June 1998. Available online: ps pdf. Citation.
  • Henning Makholm. "Specializing C - an introduction to the principles behind C-Mix II". DIKU, University of Copenhagen. 1999. Available online: ps pdf. Citation.
  • Charles Consel, Luke Hornof, Julia L. Lawall, Renaud Marlet, Gilles Muller, Jacques Noyé, Scott Thibault and Eugen-Nicolae Volanschi. "Tempo: Specializing Systems Applications and Beyond". ACM Computing Surveys. vol 30. no 3. September 1998. Available online: ps. Citation.
  • Charles Consel, Julia L. Lawall and Anne-Françoise Le Meur. "A Tour of Tempo: A Program Specializer for the C Language". Laboratoire Bordelais de Recherche en Informatique. 1299-03. 2003. Available online: ps pdf. Citation.
  • Charles Consel, Julia L. Lawall and Anne-Françoise Le Meur. "A Tour of Tempo: a Program Specializer for the C language". Science of Computer Programming. volume 52. 2004. Available online: ps pdf. Citation.
  • Anne-Françoise Le Meur. "A Declarative Approach to C Program Specialization". PhD. Thesis. University of Rennes 1. December 2002. Available online: ps pdf. Citation.
  • Luke Hornof. "Static Analyses for the Effective Specialization of Realistic Programs". PhD. Thesis. Université de Rennes 1. June 1997. Available online: ps pdf. Citation.
  • P. Kleinrubatscher, A. Kriegshaber, R. Zöchling and Robert Glück. "Fortran Program Specialization". Workshop Semantikgestützte Analyse, Entwicklung und Generierung von Programmen. 1994. Available online: ps pdf. Citation.
  • R. Baier, Robert Glück and R. Zöchling. "Partial Evaluation of Numerical Programs in Fortran". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'94). 1994. Available online: ps pdf. Citation.
  • P. Kleinrubatscher, A. Kriegshaber, R. Zöchling and Robert Glück. "Fortran Program Specialization". SIGPLAN Notices. 30(4). 1995. Available online: ps pdf. Citation.
  • Robert Glück, R. Nakashige and R. Zöchling. "Binding-Time Analysis Applied to Mathematical Algorithms". System Modelling and Optimization. 1995. Available online: ps pdf. Citation.
  • R. Baier, Robert Glück and R. Zöchling. "Specialization of numerical programs with the FSpec system". Software Engineering im Scientific Computing. 1996. Citation.
  • Nathaniel David Osgood. "PARTICLE: an Automatic Program Specialization System for Imperative and Lowlevel Languages". Masters Thesis. MIT. September 1993. Available online: ps pdf. Citation.

Last modified: Monday, February 16th, 2009 6:22:09pm
HTML generated using WebIt!.