Skip to main content
SpringerLink
Log in

Glossary for Partial Evaluation and Related Topics

  • Published:
Higher-Order and Symbolic Computation

Abstract

Most areas of research or work use their own set of words and phrases and gives specific technical meaning to terms that in everyday speech may mean something less specific or something else entirely. The area of partial evaluation and program transformation is no different, which may make it hard for the uninitiated to grasp some parts of technical papers or discussions. This list of words and terms is intended as a help to people new in the subject area, but may also be of help to experienced researchers, as different research groups tend to develop different terminology.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Torben, Æ . Mogensen and Carsten Kehler Holst. Terminology. In Partial Evaluation and Mixed Computation, Dines Bjø rner, Andrei P. Ershov, and Neil D. Jones (Eds.). North-Holland, 1988, pp. 583–587.

Download references

Author information

Authors and Affiliations

  1. DIKU, University of Copenhagen, Universitetsparken 1, 2100, Copenhagen East, Denmark

    Torben Æ. Mogensen

Authors
  1. Torben Æ. Mogensen
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Mogensen, T.Æ. Glossary for Partial Evaluation and Related Topics. Higher-Order and Symbolic Computation 13, 355–368 (2000). https://doi.org/10.1023/A:1026551132647

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1026551132647

Search

Navigation