scientific article; zbMATH DE number 3999262
From MaRDI portal
Publication:4725720
zbMath0616.68015MaRDI QIDQ4725720
Andrzej Tarlecki, Donald Sannelly
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
logical systemspecification languageinstitutionsemantics of Extended MLstepwise development of modular programs
Specification and verification (program logics, model checking, etc.) (68Q60) Special categories (18B99)
Related Items (14)
Structured theory presentations and logic representations ⋮ Toward formal development of programs from algebraic specifications: Implementations revisited ⋮ Parametricity as isomorphism ⋮ Compatibility problems in the development of algebraic module specifications ⋮ Category-based modularisation for equational logic programming ⋮ A guided tour of the mathematics of MetaSoft '88 ⋮ Essential concepts of algebraic specification and program development ⋮ A decade of TAPSOFT ⋮ Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives ⋮ The definition of Extended ML: A gentle introduction ⋮ Some fundamental algebraic tools for the semantics of computation. III: Indexed categories ⋮ CoFI with Don Sannella ⋮ CASL: the Common Algebraic Specification Language. ⋮ Constructing specification morphisms
This page was built for publication:
