OBSCURE swMATH ID: 2575 Software Authors: Lehmann, Thomas; Loeckx, Jacques Description: OBSCURE, a specification language for abstract data types. OBSCURE is a specification language for abstract data types. It differs from classical specification languages by handling models rather than theories. The goal of the paper is to present a complete and precise description of OBSCURE. First, the different language constructs are illustrated by the help of examples. The syntax and semantics of the language are then defined formally. The consistency of these definitions is stated in two theorems. Next, a set of formulas is associated with each specification. A further theorem states that these formulas guarantee the persistency or, more precisely, the absence of logical inconsistencies. A discussion of further language concepts – such as parameterization and strong typing - - follows. Finally, a methodology for the development of software with the help of OBSCURE is sketched and some practical results are presented. Homepage: http://www.springerlink.com/content/m2q10716p4074752/fulltext.pdf Keywords: software development; specification language for abstract data types; syntax; semantics Related Software: Nuprl; LCF; Mantissa; AIM@SHAPE; ProMoT; COBOL; SingSurf; LARCH; OBJ3; Miranda; ML; Smalltalk Cited in: 7 Documents Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year OBSCURE, a specification language for abstract data types. Zbl 0790.68072Lehmann, Thomas; Loeckx, Jacques 1993 all top 5 Cited by 15 Authors 3 Loeckx, Jacques 2 Bidoit, Michel 2 Lehmann, Thomas Martin 2 Sannella, Donald T. 1 Gessner, Samuel 1 Hashagen, Ulf 1 Hennicker, Rolf 1 Kreowski, Hans-Jörg 1 Lermen, Claus-Werner 1 Lescanne, Pierre 1 Peiffer, Jeanne 1 Sokołowski, Stefan 1 Tarlecki, Andrzej 1 Tournès, Dominique 1 Wirsing, Martin Cited in 4 Serials 2 Acta Informatica 1 Theoretical Computer Science 1 Oberwolfach Reports 1 Lecture Notes in Computer Science all top 5 Cited in 8 Fields 6 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Geometry (51-XX) 1 Numerical analysis (65-XX) 1 Optics, electromagnetic theory (78-XX) 1 Astronomy and astrophysics (85-XX) Citations by Year