Skip to main content
SpringerLink
Log in
Book cover

Recent Trends in Data Type Specification

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

  • Conference proceedings
  • © 1991

Overview

Editors:
  1. H. Ehrig
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. K. P. Jantke
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. F. Orejas
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. H. Reichel
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 534)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (19 papers)

  1. Front Matter

    Download chapter PDF

  2. ADT implementation and completion by induction from examples

    • Guntis Barzdins
    Pages 1-10

  3. An association of Algebraic term nets and abstract data types for specifying real communication protocols

    • Mohamed Bettaz
    Pages 11-30

  4. The specification language GSBL

    • S. Clerici, F. Orejas
    Pages 31-51

  5. Composition of algebraic high-level nets

    • Cristian Dimitrovici, Udo Hummert
    Pages 52-73

  6. A match operation for rule-based modular system design

    • Hartmut Ehrig, Francesco Parisi-Presicce
    Pages 74-97

  7. Towards object-oriented algebraic specifications

    • Martin Große-Rhode
    Pages 98-116

  8. Inductive completion for transformation of equational specifications

    • Steffen Lange, Klaus P. Jantke
    Pages 117-140

  9. A notion of implementation for the specification language OBSCURE

    • Thomas Lehmann
    Pages 141-165

  10. Model-theoretic specifications and back-and-forth equivalences

    • Gianfranco Mascari, Antonio Vincenzi
    Pages 166-184

  11. Universal algebra in higher types

    • Karl Meinke
    Pages 185-203

  12. Clausal rewriting: Applications and implementation

    • Robert Nieuwenhuis, Fernando Orejas
    Pages 204-219

  13. Constraints for behavioural specifications

    • F. Orejas, P. Nivela
    Pages 220-245

  14. Entities: An institution for dynamic systems

    • Gianna Reggio
    Pages 246-265

  15. A 2-category approach to critical pair completion

    • Horst Reichel
    Pages 266-273

  16. A kernel specification formalism with higher-order parameterisation

    • Donald Sannella, Andrzej Tarlecki
    Pages 274-296

  17. Extended ML: Past, present and future

    • Donald Sannella, Andrzej Tarlecki
    Pages 297-322

  18. Dependent types considered necessary for specification languages

    • T. Streicher, M. Wirsing
    Pages 323-340

  19. Generic types in a language for data directed design

    • Eric G. Wagner
    Pages 341-361

  20. Design of a compiler for lazy pattern driven narrowing

    • Dietmar Wolz
    Pages 362-379
Back to top

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation