A partial evaluator, and its use as a programming tool

DOI10.1016/0004-3702(76)90011-4MaRDI QIDQ1233314zbMATH OpenOpenAlexFDO

Authors Lennart Beckman, Anders Haraldson, Osten Oskarsson, Erik Sandewall

Publication date 1976

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0004-3702(76)90011-4

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cites work

• scientific article; zbMATH DE number 3614149 (Why is no real title available?)
• scientific article; zbMATH DE number 3415409 (Why is no real title available?)
• Conversion of Predicate-Calculus Axioms to Corresponding Deterministic Programs
• Proving Theorems about LISP Functions
• The treatment of data types in EL1

Cited in

(8)

• Annotated bibliography on partial evaluation and mixed computation
• A partial evaluator for the untyped lambda-calculus
• An efficient interpreter for the lambda-calculus
• Mixed computation of Prolog programs
• scientific article; zbMATH DE number 1022228 (Why is no real title available?)
• A self-applicable partial evaluator and its use in incremental compilation
• Essence of generalized partial computation
• Mixed computation: potential applications and problems for study

This page was built for publication: A partial evaluator, and its use as a programming tool

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1233314)