Research Catalog

Title

Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992 : selected papers / Hartmut Ehrig, Fernando Orejas, eds.

Author

Workshop on Specification of Abstract Data Types (9th : 1992 : Caldes de Malavella, Spain)

Publication

Berlin ; New York : Springer-Verlag, 1994.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• Ehrig, Hartmut.
• Orejas, F. (Fernando)
• COMPASS Workshop (4th : 1992 : Caldes de Malavella, Spain)

Description

viii, 350 pages : illustrations; 24 cm.

Series Statement

Lecture notes in computer science ; 785

Uniform Title

Lecture notes in computer science ; 785.

Subject

Abstract data types (Computer science) > Congresses

Bibliography (note)

• Includes bibliographical references.

Contents

• Towards an algebraic semantics for the object paradigm / J. A. Goguen and R. Diaconescu -- Rewriting techniques for software engineering / J.-P. Jouannaud -- Identity and existence, and types in algebra - A survey of sorts / A. Poigne -- Overloading and inheritance / E. G. Wagner -- A SMoLCS based kit for defining high-level algebraic Petri nets / M. Bettaz and G. Reggio -- Institutions for very abstract specifications / M. Cerioli and G. Reggio -- About the "correctness" and "adequacy" of PLUSS specifications / C. Choppy -- Semantic constructions in the specification language Glider / S. Clerici, R. Jimenez and F. Orejas -- On certification of specifications for TROLL light objects / S. Conrad -- Translating TROLL light concepts to MAUDE / G. Denker and M. Gogolla -- Algebraic high level nets: Petri nets revisited / H. Ehrig, J. Padberg and L. Ribeiro -- 2-categorical specification of partial algebras / M. Grosse-Rhode and U. Wolter.
• A behavioural algebraic framework for modular system design with reuse / R. Hennicker and F. Nickl -- On fibred adjunctions and completeness for fibred categories / C. Hermida -- Implementing inequality and nondeterministic specifications with bi-rewriting systems / J. Levy and J. Agustf -- A semantic basis of logic-independent transformation / J. Liu -- Unified algebras and abstract syntax / P. D. Mosses -- Structured inheritance for algebraic class specifications / F. Parisi Presicce and A. Pierantonio -- Towards a theory for the animation of algebraic specification / C. Rieckhoff -- Second-order proof systems for algebraic specification languages / P.-Y. Schobbens -- An institution of object behaviour / A. Sernadas, J. F. Costa and C. Sernadas.

ISBN

• 3540578676
• 0387578676

LCCN

94008265

OCLC

• 29952082
• ocm29952082

Owning Institutions

Columbia University Libraries