Recent Trends in Data Type Specification: 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers (Informatik-Fachberichte, 116) - Softcover
Synopsis
This volume contains the major part of the contributions to the 3rd Workshop on Theory and Appl ications of Abstract Data Types held in Bremen (Germany) from November 13 to November 16, 1984. The workshop, as both its predecessors (Sorpesee, 1982 and Passau, 1983), brought together many researchers interested in algebraic specifications and related topics. It provided an opportunity to present the latest, even unfinished, work and to discuss the future trends and research problems. The remarkable progress of the field re- ported at the workshop provoked this volume. The present collection of papers documents the recent developments and trends in data type and software specification in theory and in practice. The theoretical con- tributions pursue four objectives: the 1 iberation of the specification methods from the underlying logic (Sannella and Tarlecki; Maibaum and Sadler), the extension of the algebraic theory of data types to meet adequately the semantics of imperative programming languages and the idea of observabil ity (Wagner; Hennicker and Wirsing; Moller and Dosch; Streicher), the adaption of stepwise-refinement techniques to spec- ifications with loose semantics (Beierle and Voss) and error and exception handl ing (Gogolla; Poigne). The papers oriented more towards practice are harder to classify.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Recent Trends in Data Type Specification: 3rd Workshop...
Stock Image
Recent Trends in Data Type Specification: 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers (Informatik-Fachberichte, 116)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020160906
Stock Image
Recent Trends in Data Type Specification (Paperback)
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1986
ISBN 10: 3540160779
ISBN 13: 9783540160779
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. This volume contains the major part of the contributions to the 3rd Workshop on Theory and Appl ications of Abstract Data Types held in Bremen (Germany) from November 13 to November 16, 1984. The workshop, as both its predecessors (Sorpesee, 1982 and Passau, 1983), brought together many researchers interested in algebraic specifications and related topics. It provided an opportunity to present the latest, even unfinished, work and to discuss the future trends and research problems. The remarkable progress of the field re- ported at the workshop provoked this volume. The present collection of papers documents the recent developments and trends in data type and software specification in theory and in practice.The theoretical con- tributions pursue four objectives: the 1 iberation of the specification methods from the underlying logic (Sannella and Tarlecki; Maibaum and Sadler), the extension of the algebraic theory of data types to meet adequately the semantics of imperative programming languages and the idea of observabil ity (Wagner; Hennicker and Wirsing; Moller and Dosch; Streicher), the adaption of stepwise-refinement techniques to spec- ifications with loose semantics (Beierle and Voss) and error and exception handl ing (Gogolla; Poigne). The papers oriented more towards practice are harder to classify. This volume contains the major part of the contributions to the 3rd Workshop on Theory and Appl ications of Abstract Data Types held in Bremen (Germany) from November 13 to November 16, 1984. The workshop, as both its predecessors (Sorpesee, 1982 and Passau, 1983), brought together many researchers interested in algebraic specifications and related topics. It provided an opportunity to present the latest, even unfinished, work and to discuss the future trends and research problems. The remarkable progress of the field reA ported at the workshop provoked this volume. The present collection of papers documents the recent developments and trends in data type and software specification in theory and in practice. The theoretical conA tributions pursue four objectives: the 1 iberation of the specification methods from the underlying logic (Sannella and Tarlecki; Maibaum and Sadler), the extension of the algebraic theory of data types to meet adequately the semantics of imperative programming languages and the idea of observabil ity (Wagner; Hennicker and Wirsing; Moller and Dosch; Streicher), the adaption of stepwise-refinement techniques to specA ifications with loose semantics (Beierle and Voss) and error and exception handl ing (Gogolla; Poigne). The papers oriented more towards practice are harder to classi Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783540160779
Stock Image
Recent Trends in Data Type Specification: 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers (Informatik-Fachberichte, 116)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783540160779
Stock Image
Recent Trends in Data Type Specification
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 268. Seller Inventory # 2697107142
Stock Image
Recent Trends in Data Type Specification
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 268 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. Seller Inventory # 96338713
Buy New
US$ 86.49
US$ 8.88 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Recent Trends in Data Type Specification: Third Workshop on Theory and Applications of Abstract Data Types. Selected Papers (Informatik-Fachberichte)
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 268 pages. 9.61x6.69x0.61 inches. In Stock. Seller Inventory # x-3540160779
Buy New
US$ 92.71
US$ 13.66 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Stock Image
Recent Trends in Data Type Specification
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 268. Seller Inventory # 1897107148
Buy New
US$ 95.35
US$ 11.80 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 4 available
Seller Image
Recent Trends in Data Type Specification
Published by
Springer Berlin Heidelberg, 1986
ISBN 10: 3540160779
ISBN 13: 9783540160779
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Categorical Semantics, Or Extending Data Types to Include Memory.- Algebraic (?) Specification of Conceptual Database Schemata.- OBSCURE, A New Specification Language.- Some Thoughts on Algebraic Specification.- Implementation Specifications.- The ASSPEGIQU. Seller Inventory # 4882921
Buy New
US$ 59.08
US$ 58.10 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Recent Trends in Data Type Specification: 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers (Informatik-Fachberichte, 116)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540160779_new
Buy New
US$ 107.85
US$ 16.37 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Recent Trends in Data Type Specification
Published by
Springer Berlin Heidelberg Jan 1986, 1986
ISBN 10: 3540160779
ISBN 13: 9783540160779
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the major part of the contributions to the 3rd Workshop on Theory and Appl ications of Abstract Data Types held in Bremen (Germany) from November 13 to November 16, 1984. The workshop, as both its predecessors (Sorpesee, 1982 and Passau, 1983), brought together many researchers interested in algebraic specifications and related topics. It provided an opportunity to present the latest, even unfinished, work and to discuss the future trends and research problems. The remarkable progress of the field re ported at the workshop provoked this volume. The present collection of papers documents the recent developments and trends in data type and software specification in theory and in practice. The theoretical con tributions pursue four objectives: the 1 iberation of the specification methods from the underlying logic (Sannella and Tarlecki; Maibaum and Sadler), the extension of the algebraic theory of data types to meet adequately the semantics of imperative programming languages and the idea of observabil ity (Wagner; Hennicker and Wirsing; Moller and Dosch; Streicher), the adaption of stepwise-refinement techniques to spec ifications with loose semantics (Beierle and Voss) and error and exception handl ing (Gogolla; Poigne). The papers oriented more towards practice are harder to classify. 268 pp. Englisch. Seller Inventory # 9783540160779
Buy New
US$ 104.55
US$ 27.28 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available