On constructive specifications of abstract data types using temporal logic

Abstract: "We introduce an approach for the specification of abstract data types based on temporal logic. To this end we propose a constructive specification method. We present axiom schemes to get generally monomorphic and complete models. Nonconstructive operations are defined as abbreviation...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Leßke, Frank (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	München 1991
Schriftenreihe:	Technische Universität <München>: TUM-I 9146
Schlagworte:	Abstract data types (Computer science)
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!