OBSCURE, a specification language for abstract data types
From MaRDI portal
(Redirected from Publication:1323328)
Recommendations
Cites work
- scientific article; zbMATH DE number 3888893 (Why is no real title available?)
- scientific article; zbMATH DE number 3951980 (Why is no real title available?)
- scientific article; zbMATH DE number 4072437 (Why is no real title available?)
- scientific article; zbMATH DE number 4084991 (Why is no real title available?)
- scientific article; zbMATH DE number 3714904 (Why is no real title available?)
- scientific article; zbMATH DE number 8786 (Why is no real title available?)
- scientific article; zbMATH DE number 44414 (Why is no real title available?)
- scientific article; zbMATH DE number 44486 (Why is no real title available?)
- scientific article; zbMATH DE number 44668 (Why is no real title available?)
- scientific article; zbMATH DE number 46424 (Why is no real title available?)
- scientific article; zbMATH DE number 1142323 (Why is no real title available?)
- scientific article; zbMATH DE number 194509 (Why is no real title available?)
- A constructive method for abstract algebraic software specification
- Algebraic system specification and development. A survey and annotated bibliography
- Algorithmic specifications: a constructive specification method for abstract data types
- How to make algebraic specifications more understandable: An experiment with the PLUSS specification language
- Institutions: abstract model theory for specification and programming
- Structured algebraic specifications: A kernel language
- Toward formal development of programs from algebraic specifications: Parameterisation revisited
Cited in
(5)
This page was built for publication: OBSCURE, a specification language for abstract data types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1323328)