scientific article
From MaRDI portal
Publication:3677153
zbMath0563.68017MaRDI QIDQ3677153
Donald Sannella, Andrzej Tarlecki
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
Structured algebraic specifications: A kernel language ⋮ Toward formal development of programs from algebraic specifications: Implementations revisited ⋮ Union and actualization of module specifications: Some compatibility results ⋮ Observational implementations ⋮ Observational implementation of algebraic specifications ⋮ Some fundamental algebraic tools for the semantics of computation. III: Indexed categories ⋮ Non-deterministic data types: Models and implementations ⋮ Observational proofs by rewriting. ⋮ Toward formal development of programs from algebraic specifications: Parameterisation revisited
This page was built for publication:
