Borrow it
Coverart for item
The Resource 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.)

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.)

Creator
Contributor
Summary
"Research in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on the applications and the theoretical foundations of methodologies for software design. The Ninth Workshop on Specification of Abstract Data Types was held jointly with the Fourth COMPASS Workshop in Spain in 1992. The main topics covered were: object-oriented specifications, rewriting methods, specification languages and associated tools, type systems, and algebraic specification of concurrency. This volumes contains four invited papers presented at the workshop together with the final versions of 17 contributed papers selected after a careful refereeing process from 46 submissions."--PUBLISHER'S WEBSITE
Language
eng
Work
Publication
Extent
viii, 350 pages
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
9783540578673
Instance
Label
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
Title
Recent trends in data type specification
Title remainder
9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992 : selected papers
Statement of responsibility
Hartmut Ehrig, Fernando Orejas, (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
"Research in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on the applications and the theoretical foundations of methodologies for software design. The Ninth Workshop on Specification of Abstract Data Types was held jointly with the Fourth COMPASS Workshop in Spain in 1992. The main topics covered were: object-oriented specifications, rewriting methods, specification languages and associated tools, type systems, and algebraic specification of concurrency. This volumes contains four invited papers presented at the workshop together with the final versions of 17 contributed papers selected after a careful refereeing process from 46 submissions."--PUBLISHER'S WEBSITE
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
no index present
LC call number
QA76.9.A23
LC item number
W67 1992
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1992
http://bibfra.me/vocab/lite/meetingName
Workshop on Specification of Abstract Data Types
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1992
http://library.link/vocab/relatedWorkOrContributorName
  • Ehrig, Hartmut
  • Orejas, F.
  • COMPASS Workshop
http://library.link/vocab/subjectName
  • Abstract data types (Computer science)
  • concurrence
  • réécriture
  • spécification algébrique
  • sémantique algébrique
  • type donnée
  • type abstrait
  • Abstract data types (Computer science)
  • Programmatuurtechniek
  • Type de données abstraites (Informatique)
Label
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.)
Instantiates
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Dimensions
24 cm.
Extent
viii, 350 pages
Isbn
9783540578673
Lccn
94008265
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
  • (OCoLC)29952082
  • (OCoLC)ocm29952082
Label
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.)
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Dimensions
24 cm.
Extent
viii, 350 pages
Isbn
9783540578673
Lccn
94008265
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
  • (OCoLC)29952082
  • (OCoLC)ocm29952082

Subject

Genre

Member of

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784

Library Links

Zepheira Logo
Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by Boston University Libraries. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...