A partial evaluator, and its use as a programming tool
type: Item
instance of: scholarly article
title: A partial evaluator, and its use as a programming tool
zbMATH Open document ID: 0345.68014
DOI: 10.1016/0004-3702(76)90011-4
author: Lennart Beckman
author: Anders Haraldson
author: Osten Oskarsson
author: Erik Sandewall
published in: Artificial Intelligence
publication date: 1976-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 3538791
MaRDI profile type: Publication
full work available at URL: 0004-3702(76)90011-4
OpenAlex ID: W1996081324
cites work: Proving Theorems about LISP Functions
cites work: Q5679729
cites work: Q4178463
cites work: Conversion of Predicate-Calculus Axioms to Corresponding Deterministic Programs
cites work: The treatment of data types in EL1
description: scientific article; zbMATH DE number 3538791