First-order identities as a defining language
From MaRDI portal
Publication:1135108
DOI10.1007/BF00286491zbMath0424.68022MaRDI QIDQ1135108
Publication date: 1980
Published in: Acta Informatica (Search for Journal in Brave)
algebraic approach; data type; denotational and operational semantics; first-order identities as a specification language; lambda-calculus interpreter
Related Items
A systematic study of models of abstract data types, The rewriting logic semantics project, A rewriting logic approach to operational semantics, Abstract data types and algebraic semantics of programming languages, The Rewriting Logic Semantics Project: A Progress Report, Unnamed Item