Opening key-note speech

DOI10.1007/BF03037131zbMath0654.68007OpenAlexW2026860263MaRDI QIDQ1108772

Andrei P. Ershov

Publication date: 1988

Published in: New Generation Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03037131

zbMATH Keywords

partial evaluationmixed computation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) History of computer science (68-03)

Related Items (1)

Essence of generalized partial computation

This page was built for publication: Opening key-note speech