scientific article
From MaRDI portal
Publication:4066567
zbMath0308.68016MaRDI QIDQ4066567
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
On observational equivalence and algebraic specification ⋮ Two-level semantics and code generation ⋮ Category-sorted algebra-based action semantics ⋮ Action Semantics in Retrospect ⋮ Abstract data types and algebraic semantics of programming languages ⋮ A demonstrably correct compiler
This page was built for publication:
