Bibliography on Abstract Data Types
Seiten
1983
|
1. Softcover reprint of the original 1st ed. 1983
Springer Berlin (Verlag)
978-3-540-12312-5 (ISBN)
Springer Berlin (Verlag)
978-3-540-12312-5 (ISBN)
Sponsored by the "Österr. Fonds zur Förderung der Wissenschaftlichen Forschung", project nr. P4567
It will not be our purpose in this chapter to give an introduction to the field of abstract data types proper. There are many such introductions - see the references in the bibliography. We intend rather to provide a beginner's guide to the 870 papers cited there. For experts, the 1 i st of those programmi ng languages and systems which appear in the titles should prove useful. We shall not recommend one single paper as a starting point but mention several papers which cover various aspects of the theory. Historically, the papers of [PARNAS 70] and [HOARE 72] are generally regarded as the origins of the field. Parnas introduced the principle of 'information hiding' and Hoare emphasized the distinction between an abstract object and it's concrete representati on. An early survey on specifi cation techni ques for data abstractions is [LISKOV/ZILLES 75]. The starting point for the tremendous expansion of work on algebraically spe cified abstract data types was, in our OplnlOn, John Guttag's thesis [GUTTAG 75]. This work was superseded by [GUTTAG/HORNING 78], which is easier to come by. We woul d also strongl y recommend to survey [GUTTAG/HOROWITZ/MUSSER 76a and 76b] for insights into the techniques of algebraically specifiing data types and its impact on software validation. For german speakers we would recommend [KREOWSKI 78] or [KLAEREN 83] which pro vide excellent introductions.
It will not be our purpose in this chapter to give an introduction to the field of abstract data types proper. There are many such introductions - see the references in the bibliography. We intend rather to provide a beginner's guide to the 870 papers cited there. For experts, the 1 i st of those programmi ng languages and systems which appear in the titles should prove useful. We shall not recommend one single paper as a starting point but mention several papers which cover various aspects of the theory. Historically, the papers of [PARNAS 70] and [HOARE 72] are generally regarded as the origins of the field. Parnas introduced the principle of 'information hiding' and Hoare emphasized the distinction between an abstract object and it's concrete representati on. An early survey on specifi cation techni ques for data abstractions is [LISKOV/ZILLES 75]. The starting point for the tremendous expansion of work on algebraically spe cified abstract data types was, in our OplnlOn, John Guttag's thesis [GUTTAG 75]. This work was superseded by [GUTTAG/HORNING 78], which is easier to come by. We woul d also strongl y recommend to survey [GUTTAG/HOROWITZ/MUSSER 76a and 76b] for insights into the techniques of algebraically specifiing data types and its impact on software validation. For german speakers we would recommend [KREOWSKI 78] or [KLAEREN 83] which pro vide excellent introductions.
1: Introduction.- 2: Bibliography.- 3: KWIC-Index.- 4: List of all Authors.- 5: Useful Addresses.- 6: Abbreviations Used.
| Erscheint lt. Verlag | 1.5.1983 |
|---|---|
| Reihe/Serie | Informatik-Fachberichte |
| Zusatzinfo | VIII, 196 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 170 x 244 mm |
| Gewicht | 361 g |
| Themenwelt | Schulbuch / Wörterbuch ► Lexikon / Chroniken |
| Mathematik / Informatik ► Informatik ► Datenbanken | |
| Informatik ► Theorie / Studium ► Algorithmen | |
| Schlagworte | Abstraction • Algebra • Boundary element method • data abstraction • data structures • Data Types • Datentyp /Bibliographie • DEX • Field • Form • language • object • Software • techniques • Types • Validation |
| ISBN-10 | 3-540-12312-1 / 3540123121 |
| ISBN-13 | 978-3-540-12312-5 / 9783540123125 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
IT zum Anfassen für alle von 9 bis 99 – vom Navi bis Social Media
Buch | Softcover (2021)
Springer (Verlag)
CHF 41,95
Interlingua zur Gewährleistung semantischer Interoperabilität in der …
Buch | Softcover (2023)
Springer Fachmedien (Verlag)
CHF 46,15
Eine Einführung mit Java
Buch | Hardcover (2020)
dpunkt (Verlag)
CHF 62,85
