Paragon: A Language Using Type Hierarchi
β Mark Steven Sherman (auth.)
π Library
π
1985
π Springer-Verlag Berlin Heidelberg
π English
β¦ LIBER β¦
π
Paragon: A Language Using Type Hierarchies for the Specification, Implementation and Selection of Abstract Data Types
β Scribed by Mark Steven Sherman (auth.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Year
- 1985
- Tongue
- English
- Leaves
- 363
- Series
- Lecture Notes in Computer Science 189
- Edition
- 1
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
β¦ Subjects
Software Engineering; Programming Languages, Compilers, Interpreters; Data Structures
π SIMILAR VOLUMES
Paragon: A Language Using Type Hierarchi
β Mark Steven Sherman (auth.)
π Library
π
1985
π Springer-Verlag Berlin Heidelberg
π English
Abstract data types: specifications, imp
β Nell Dale, Henry M. Walker
π Library
π
1996
π Jones & Bartlett Learning
π English
This text expands the traditional course focus to examine not only the structure of a data object, but also its type. This broader focus requires a new paradigm for classifying data types. Within each classification, the different ADTs are presented using axiomatic specifications. Various im
β Dale, Nell B
π Library
π
1996
π Lexington : D. C. Heath
π English
624,A98p. ; 25 cm +
Recent Trends in Data Type Specification
β Eric G. Wagner (auth.), Hans-JΓΆrg Kreowski (eds.)
π Library
π
1985
π Springer-Verlag Berlin Heidelberg
π English
Recent Trends in Data Type Specification
β Michel Bidoit (auth.), D. Sannella, A. Tarlecki (eds.)
π Library
π
1988
π Springer-Verlag Berlin Heidelberg
π English
<p>The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane, near Edinburgh. This book contains papers based on selected talks presented at the workshop. The algebraic specification of abstract data types has been a flourishing topic in computer science sin