Recent Trends in Data Type Specification (häftad)

Fler böcker inom

Objektorienterad programmering (OOP)

Format: Häftad (Paperback / softback)
Språk: Engelska
Antal sidor: 384
Utgivningsdatum: 1991-09-01
Upplaga: 1991 ed.
Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Medarbetare: Ehrig, Hartmut (ed.), Jantke, Klaus P (ed.), Orejas, Fernando (ed.)
Illustrationer: VIII, 384 p.
Volymtitel: Workshop Proceedings
Dimensioner: 234 x 156 x 21 mm
Vikt
Antal komponenter: 1
Komponenter: 1 Paperback / softback
ISSN: 0302-9743
ISBN: 9783540544968

Recent Trends in Data Type Specification

Name: Recent Trends in Data Type Specification
Price: 760.00 SEK
Availability: InStock
Author: Hartmut Ehrig, Klaus P Jantke, Fernando Orejas, Horst Reichel
ISBN: 9783540544968

7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings

av Hartmut Ehrig, Klaus P Jantke, Fernando Orejas, Horst Reichel

Häftad, Engelska, 1991-09-01

760

Köp

Spara som favorit

Skickas från oss inom 7-10 vardagar.
Fri frakt över 249 kr för privatkunder i Sverige.

The algebraic specification of abstract data types is now a well establishedresearch topic in computer science. This area influences both applications and theoretical foundations of methodologies which support the design and formal development of reliable software. The Seventh Workshop on Specification of Abstract Data Types took place in Wusterhausen/Dosse, April17-20, 1990, and was organized in cooperation with the ESPRIT Basic Research Working Group COMPASS. The main topics covered by the workshop were: - Modularization - Object orientation - Higher-order types anddependent types - Inductive completion - Algebraic high-level nets.

Visa hela texten

Passar bra ihop

De som köpt den här boken har ofta också köpt Co-Intelligence av Ethan Mollick (häftad).

Köp båda 2 för 950 kr

Kategorien und Automate

Hartmut Ehrig, Michael Pfender

1671

Köp

Skickas inom vardagar.
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher

611

Köp

Skickas inom vardagar.
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher

727

Köp

Skickas inom vardagar.
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987

Hartmut Ehrig, Robert A Kowalski, Giorgio Levi, Ugo Montanari

545

Köp

Skickas inom vardagar.

ADT implementation and completion by induction from examples.- An association of Algebraic term nets and abstract data types for specifying real communication protocols.- The specification language GSBL.- Composition of algebraic high-level nets.- A match operation for rule-based modular system design.- Towards object-oriented algebraic specifications.- Inductive completion for transformation of equational specifications.- A notion of implementation for the specification language OBSCURE.- Model-theoretic specifications and back-and-forth equivalences.- Universal algebra in higher types.- Clausal rewriting: Applications and implementation.- Constraints for behavioural specifications.- Entities: An institution for dynamic systems.- A 2-category approach to critical pair completion.- A kernel specification formalism with higher-order parameterisation.- Extended ML: Past, present and future.- Dependent types considered necessary for specification languages.- Generic types in a language for data directed design.- Design of a compiler for lazy pattern driven narrowing.