OBSCURE, a specification language for abstract data types

DOI10.1007/BF01209709MaRDI QIDQ1323328zbMATH OpenFDO

Authors Thomas Lehmann, Jacques Loeckx

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)

Recommendations

• scientific article; zbMATH DE number 4084991
• scientific article; zbMATH DE number 3936504
• scientific article; zbMATH DE number 8786
• Algorithmic specifications: a constructive specification method for abstract data types
• scientific article; zbMATH DE number 1543051

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)

• scientific article; zbMATH DE number 4084991 (Why is no real title available?)
• OBSCURE
• scientific article; zbMATH DE number 3949677 (Why is no real title available?)
• First order data types and first order logic
• scientific article; zbMATH DE number 3936504 (Why is no real title available?)

Describes a project that uses

Uses Software

• ML
• Miranda
• OBJ3
• LCF

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)