Annotated bibliography on partial evaluation and mixed computation
type: Item
instance of: scholarly article
title: Annotated bibliography on partial evaluation and mixed computation
zbMATH Open document ID: 0646.68016
DOI: 10.1007/BF03037145
author: Peter Sestoft
author: Alexandre V. Zamulin
published in: New Generation Computing
publication date: 1988-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 00A15
zbMATH DE Number: 4055002
zbMATH Keywords: annotated bibligraphy
zbMATH Keywords: partial evaluation
zbMATH Keywords: mixed computation
describes a project that uses: ALGOL 60
describes a project that uses: Refal
MaRDI profile type: Publication
cites work: A partial evaluator, and its use as a programming tool
cites work: Polyvariant mixed computation for analyzer programs
cites work: Q3741019
cites work: Q3968450
cites work: On the partial computation principle
cites work: Q4147580
cites work: Q4138063
cites work: Q4151136
cites work: Q3906389
cites work: Mixed computation: potential applications and problems for study
cites work: Symbolic evaluation with structural recursive symbolic constants
cites work: Partial evaluation and \(\omega\)-completeness of algebraic specifications
cites work: Composing recursive logic programs with clausal join
cites work: Deriving a compiler from an operational semantics written in VDL
cites work: Q3731024
cites work: The concept of a supercompiler
full work available at URL: https://doi.org/10.1007/bf03037145
OpenAlex ID: W170696353
description: scientific article; zbMATH DE number 4055002