liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A program manipulation system based on partial evaluation
Linköping University, Department of Mathematics. Linköping University, The Institute of Technology.
1977 (English)Doctoral thesis, monograph (Other academic)
Abstract [en]

Program manipulation is the task to perform transformations on program code, and is normally done in order to optimize the code with respect of the utilization of some computer resource. Partial evaluation is the task when partial computations can be performed in a program before it is actually executed. If a parameter to a procedure is constant a specialized version of that procedure can be generated if the constant is inserted instead of the parameter in the procedure body and as much computations in the code as possible are performed.

A system is described which works on programs written in INTERLISP, and which performs partial evaluation together with other transformations such as beta-expansion and certain other optimization operations. The system works on full LISP and not only for a "pure" LISP dialect, and deals with problems occurring there involving side-effects, variable assignments etc. An analysis of a previous system, REDFUN, results in a list of problems, desired extensions and new features. This is used as a basis for a new design, resulting in a new implementation, REDFUN-2. This implementation, design considerations, constraints in the system, remaining problems, and other experience from the development and experiments with the system are reported in this paper.     

Place, publisher, year, edition, pages
Linköping: Linköpings universitet , 1977. , p. 264
Series
Linköping Studies in Science and Technology. Dissertations, ISSN 0345-7524 ; 14
Keywords [en]
program manipulation, partial evaluation, program optimization, LISP, beta-expansion, macro-expansion
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:liu:diva-35618Local ID: 27969ISBN: 9173721441 (print)OAI: oai:DiVA.org:liu-35618DiVA, id: diva2:256466
Public defence
1977-05-27, BDL 6, Hus B, Valla, Linköping, 10:15 (English)
Opponent
Supervisors
Available from: 2009-10-10 Created: 2009-10-10 Last updated: 2023-01-23Bibliographically approved

Open Access in DiVA

A program manipulation system based on partial evaluation(2185 kB)1491 downloads
File information
File name FULLTEXT03.pdfFile size 2185 kBChecksum SHA-512
cdb1df4c8501beb4344f3c5360a6b265fb2758f1adb3d43b35228e729714db43fce898859c97452f0b12d601e8c09e04b273f235f3eca6d1642e6eebcfb31ea8
Type fulltextMimetype application/pdf
omslag(746 kB)81 downloads
File information
File name COVER01.pdfFile size 746 kBChecksum SHA-512
d3496a561711f183938355f81495d16d426c69b0647156d16364d2381c2337c843384c1342d314566b5c3ddb9c89624f534f1528e1709d89297b36c1b5a60e5b
Type coverMimetype application/pdf

Authority records

Haraldsson, Anders

Search in DiVA

By author/editor
Haraldsson, Anders
By organisation
Department of MathematicsThe Institute of Technology
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 1504 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 442 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf