OBSCURE, a specification language for abstract data types
From MaRDI portal
Publication:1323328
DOI10.1007/BF01209709zbMATH Open0790.68072MaRDI QIDQ1323328FDOQ1323328
Authors: Thomas Lehmann, Jacques Loeckx 
Publication date: 10 May 1994
Published in: Acta Informatica (Search for Journal in Brave)
Recommendations
Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Cites Work
- Title not available (Why is that?)
- Institutions: abstract model theory for specification and programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- How to make algebraic specifications more understandable: An experiment with the PLUSS specification language
- Structured algebraic specifications: A kernel language
- Title not available (Why is that?)
- A constructive method for abstract algebraic software specification
- Toward formal development of programs from algebraic specifications: Parameterisation revisited
- Title not available (Why is that?)
- Algorithmic specifications: a constructive specification method for abstract data types
- Algebraic system specification and development. A survey and annotated bibliography
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (5)
Uses Software
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)
