scientific article; zbMATH DE number 3995031
From MaRDI portal
Publication:4721633
zbMath0614.68013MaRDI QIDQ4721633
Andrzej Tarlecki, Donald Sannella
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)
Related Items (8)
A general framework for modular implementations of modular system specifications ⋮ Toward formal development of programs from algebraic specifications: Implementations revisited ⋮ Observational implementations ⋮ A decade of TAPSOFT ⋮ Observational implementation of algebraic specifications ⋮ Foundations of rule-based design of modular systems ⋮ Some fundamental algebraic tools for the semantics of computation. III: Indexed categories ⋮ A proposed categorical semantics for Pure ML
This page was built for publication:
