Titlebook: Werkzeuge der Programmiertechnik; GI-Arbeitstagung Kar Gerhard Goos Conference proceedings 1981 Springer-Verlag Berlin Heidelberg 1981 Date

招人嫉妒

bleach

bioavailability

浮夸

,Spezifikation für ein Spezifikationswerkzeug,Für die Spezifikation dialogorientierter, haupts?chlich kommerzieller Anwendungsprogramme auf mittleren Rechnern wurde ein interaktives Werkzeug konzipiert. Es soli eine Spezifikationssprache und Dienstleistungen implementieren, die auf die prim?r zu unterstützenden T?tigkeiten.

和平主義

生氣地

Alveolar-Bone

圍巾

Werkzeuge der Programmiertechnik978-3-642-68064-9Series ISSN 0343-3005

膽小懦夫

0343-3005 Overview: 978-3-540-10725-5978-3-642-68064-9Series ISSN 0343-3005

Vsd168

Developing Algebraic Specifications of Threaded Data Structure Implementations, trees or traversable stacks. In particular, a technique is described to “freeze” an operation of an abstract type such that its arguments become reconstructable. Thus an algebraic specification of a data structure with “construction history” evolves, which may be viewed as a formal description of an implementation using pointers.