OBSCURE, a specification language for abstract data types

DOI10.1007/BF01209709zbMath0790.68072MaRDI QIDQ1323328

Jacques Loeckx, Thomas Lehmann

Publication date: 10 May 1994

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

semanticssyntaxsoftware developmentspecification language for abstract data types

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Related Items (2)

First order data types and first order logic ⋮ OBSCURE

Uses Software

• ML
• Miranda
• OBJ3
• LCF

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

This page was built for publication: OBSCURE, a specification language for abstract data types