First-order identities as a defining language

DOI10.1007/BF00286491zbMath0424.68022OpenAlexW2101106590MaRDI QIDQ1135108

Mitchell Wand

Publication date: 1980

Published in: Acta Informatica (Search for Journal in Brave)

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

zbMATH Keywords

algebraic approachdata typedenotational and operational semanticsfirst-order identities as a specification languagelambda-calculus interpreter

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)

Related Items (7)

The rewriting logic semantics project ⋮ The rewriting logic semantics project: a progress report ⋮ Abstract data types and algebraic semantics of programming languages ⋮ Unnamed Item ⋮ A rewriting logic approach to operational semantics ⋮ The Rewriting Logic Semantics Project: A Progress Report ⋮ A systematic study of models of abstract data types

This page was built for publication: First-order identities as a defining language