Kreowski | Recent Trends in Data Type Specification | E-Book | sack.de
E-Book

E-Book, Englisch, Band 116, 253 Seiten, eBook

Reihe: Informatik-Fachberichte

Kreowski Recent Trends in Data Type Specification

3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers
Erscheinungsjahr 2013
ISBN: 978-3-662-09691-8
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers

E-Book, Englisch, Band 116, 253 Seiten, eBook

Reihe: Informatik-Fachberichte

ISBN: 978-3-662-09691-8
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Kreowski Recent Trends in Data Type Specification jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Kreowski, Hans-Jörg

Weitere Infos & Material

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 ASSPEGIQUE Specification Environment — Motivations and Design.- Towards Abstract User Interfaces for Formal System Specifications.- A Final Algebra Semantics for Errors and Exceptions.- OSI Transport Service Considered as an Abstract Data Type.- Observational Specification: A Birkhoff-Theorem.- Fair Conditional Term Rewriting Systems: Unification, Termination and Confluence.- Transformation of Interface Specifications.- Axiomatising Specification Theory.- On the Algebraic Specification of Domains.- Passing Compatibility is Almost Persistency.- Automatic Prototyping of Algebraic Specifications Using Prolog.- Error Handling for Parameterized Data Types.- Model Theory of Denotational Semantics.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.