A partial evaluator, and its use as a programming tool

DOI10.1016/0004-3702(76)90011-4zbMath0345.68014OpenAlexW1996081324MaRDI QIDQ1233314

Anders Haraldson, Osten Oskarsson, Lennart Beckman, 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

Related Items (8)

Annotated bibliography on partial evaluation and mixed computation ⋮ Mixed computation of Prolog programs ⋮ A self-applicable partial evaluator and its use in incremental compilation ⋮ An efficient interpreter for the lambda-calculus ⋮ Mixed computation: potential applications and problems for study ⋮ A partial evaluator for the untyped lambda-calculus ⋮ Unnamed Item ⋮ Essence of generalized partial computation

Cites Work

• Unnamed Item
• Unnamed Item
• Conversion of Predicate-Calculus Axioms to Corresponding Deterministic Programs
• Proving Theorems about LISP Functions
• The treatment of data types in EL1

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