Recent Trends in Data Type Specification : 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 - June 3, 1994 Selected Papers, edited by Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki

Resource Information

The instance Recent Trends in Data Type Specification : 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 - June 3, 1994 Selected Papers, edited by Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki represents a material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Instance, Electronic.

Image

http://images.btol.com/ContentCafe/Jacket.aspx?UserID=ebsco-test&Password=ebsco-test&Return=T&Value=9783540491989&Type=L

Label

Recent Trends in Data Type Specification : 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 - June 3, 1994 Selected Papers, edited by Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki

Title remainder

10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 - June 3, 1994 Selected Papers

Statement of responsibility

edited by Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki

Instantiates

• Recent Trends in Data Type Specification : 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 - June 3, 1994 Selected Papers

Publication

• Berlin, Heidelberg, Springer-Verlag, 1995

Antecedent source

mixed

Bibliography note

Includes bibliographical references (pages 506-523)

Carrier category

online resource

Carrier category code

• cr

Carrier MARC source

rdacarrier

Color

not applicable

Content category

text

Content type code

• txt

Content type MARC source

rdacontent

Contents

Combining algebra and universal algebra in first-order theorem proving: The case of commutative rings -- Bulk types and query language design -- From abstract data types to logical frameworks -- Algebraic specification languages: An overview -- Types, subtypes, and ASL+ -- On the operational semantics of the algebraic and logic programming language LPG -- Behavioural theories -- Equations for describing dynamic nets of communicating systems -- A lazy approach to partial algebras -- Transactions in object-oriented specifications -- Local specification of distributed families of sequential objects -- Dynamic abstract data types based on algebraic graph transformations -- Modular termination of term rewriting systems revisited -- Institutions for behaviour specification -- An algebraic semantics for the object specification language TROLL light -- Defining equations in terminal coalgebras -- Sort inheritance for order-sorted equational presentations -- Axiomatic specification of large information systems: Experiences and consequences -- An object-oriented airport: Specification and refinement in Maude -- Topological methods for algebraic specification -- A hierarchy of institutions separated by properties of parameterized abstract data types -- Dynamical behavior of object systems -- A theory-based topological notion of institution -- Typing abstract data types -- Multialgebras, power algebras and complete calculi of identities and inclusions -- Institutional frames -- Implementation of data structures in an imperative framework -- What is an Abstract Data Type, after all?

Control code

827359493

Dimensions

unknown

Extent

1 online resource

File format

multiple file formats

Form of item

online

Isbn

9783540491989

Level of compression

uncompressed

Media category

computer

Media MARC source

rdamedia

Media type code

• c

Other control number

10.1007/BFb0014419

Other physical details

volumes: digital.

Quality assurance targets

absent

Record ID

.b130112793

Reformatting quality

access

Specific material designation

remote

System control number

(OCoLC)827359493