OBSCURE, a specification language for abstract data types
From MaRDI portal
Publication:1323328
DOI10.1007/BF01209709zbMath0790.68072MaRDI QIDQ1323328
Thomas Lehmann, Jacques Loeckx
Publication date: 10 May 1994
Published in: Acta Informatica (Search for Journal in Brave)
68N15: Theory of programming languages
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
Related Items
Uses Software
Cites Work
- A constructive method for abstract algebraic software specification
- Structured algebraic specifications: A kernel language
- How to make algebraic specifications more understandable: An experiment with the PLUSS specification language
- Algebraic system specification and development. A survey and annotated bibliography
- Toward formal development of programs from algebraic specifications: Parameterisation revisited
- Algorithmic specifications: a constructive specification method for abstract data types
- Institutions: abstract model theory for specification and programming
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item