skip to content
Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers Preview this item
ClosePreview this item
Checking...

Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers

Author: M Bidoit; C Choppy
Publisher: Berlin ; New York : Springer-Verlag, ©1993.
Series: Lecture notes in computer science, 655.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:
"The algebraic specification of abstract data types has been a flourishing research topic in computer science since 1974. The main goal of this work isto evolve theoretical foundations and a methodology to support the design and formal development of reliable software. This volume gives the proceedings of the Eighth Workshop on Specification of Abstract Data Types, held jointly with the Third COMPASS workshop near  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Additional Physical Format: Online version:
Workshop on Specification of Abstract Data Types (8th : 1991 : Dourdan, France).
Recent trends in data type specification.
Berlin ; New York : Springer-Verlag, ©1993
(OCoLC)610471896
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: M Bidoit; C Choppy
ISBN: 0387563792 9780387563794 3540563792 9783540563792
OCLC Number: 27106236
Description: x, 344 pages : illustrations ; 24 cm.
Contents: Invited surveys. Algebraic specification of concurrency / E. Astesiano and G. Reggio. Objects and their specification / H.-D. Ehrich, M. Gogolla and A. Sernadas. The use of sorts in algebraic specifications / P.D. Mosses. Implementation and behavioural equivalence: a survey / F. Orejas, M. Navarro and A. Sanchez --
Contributed papers. Relationships between logical frameworks / E. Astesiano and M. Cerioli. Label algebras: a systematic use of terms / G. Bernot and P. Le Gall. How to specify non determinism and true concurrency with algebraic term nets / M. Bettaz and M. Maouche. Bounded implementation of algebraic specifications / M. Breu. New concepts of amalgamation and extension for a general theory of specifications / H. Ehrig, M. Baldamus and F. Orejas.
Series Title: Lecture notes in computer science, 655.
Responsibility: M. Bidoit, C. Choppy, eds.

Abstract:

The maintopics covered by the joint workshop are:- specification languagesand program development- algebraic specification of concurrency- theorem proving- object-oriented specifications-  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/27106236> # Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "27106236" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/866518479#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/866518479#Topic/types_abstraits_de_donnees_informatique_congres> ; # Types abstraits de données (informatique)--Congrès
    schema:about <http://dewey.info/class/005.73/e20/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/866518479#Topic/programmatuurtechniek> ; # Programmatuurtechniek
    schema:about <http://id.worldcat.org/fast/794745> ; # Abstract data types (Computer science)
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/15428370> ; # Michel Bidoit
    schema:contributor <http://experiment.worldcat.org/entity/work/data/866518479#Meeting/compass_workshop_3rd_1991_dourdan_france> ; # COMPASS Workshop (3rd : 1991 : Dourdan, France)
    schema:contributor <http://viaf.org/viaf/41042339> ; # Christine Choppy
    schema:copyrightYear "1993" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/866518479#Meeting/workshop_on_specification_of_abstract_data_types_8th_1991_dourdan_france> ; # Workshop on Specification of Abstract Data Types (8th : 1991 : Dourdan, France)
    schema:datePublished "1993" ;
    schema:description "Invited surveys. Algebraic specification of concurrency / E. Astesiano and G. Reggio. Objects and their specification / H.-D. Ehrich, M. Gogolla and A. Sernadas. The use of sorts in algebraic specifications / P.D. Mosses. Implementation and behavioural equivalence: a survey / F. Orejas, M. Navarro and A. Sanchez -- Contributed papers. Relationships between logical frameworks / E. Astesiano and M. Cerioli. Label algebras: a systematic use of terms / G. Bernot and P. Le Gall. How to specify non determinism and true concurrency with algebraic term nets / M. Bettaz and M. Maouche. Bounded implementation of algebraic specifications / M. Breu. New concepts of amalgamation and extension for a general theory of specifications / H. Ehrig, M. Baldamus and F. Orejas."@en ;
    schema:description ""The algebraic specification of abstract data types has been a flourishing research topic in computer science since 1974. The main goal of this work isto evolve theoretical foundations and a methodology to support the design and formal development of reliable software. This volume gives the proceedings of the Eighth Workshop on Specification of Abstract Data Types, held jointly with the Third COMPASS workshop near Paris in August 1991. The main topics covered by the joint workshop are: - specification languagesand program development - algebraic specification of concurrency - theorem proving - object-oriented specifications - order-sorted algebras - abstract implementation and behavioral semantics. The volume contains four invited surveys and twelve contributed papers, all of which underwent a careful refereeing process."--PUBLISHER'S WEBSITE."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/866518479> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/866518479#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/610471896> ;
    schema:name "Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers"@en ;
    schema:productID "27106236" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/27106236#PublicationEvent/berlin_new_york_springer_verlag_1993> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/866518479#Agent/springer_verlag> ; # Springer-Verlag
    schema:workExample <http://worldcat.org/isbn/9783540563792> ;
    schema:workExample <http://worldcat.org/isbn/9780387563794> ;
    umbel:isLike <http://d-nb.info/930203631> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/27106236> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/866518479#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/866518479#Meeting/compass_workshop_3rd_1991_dourdan_france> # COMPASS Workshop (3rd : 1991 : Dourdan, France)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/866518479#Place/dourdan_france> ; # Dourdan, France)
    schema:name "COMPASS Workshop (3rd : 1991 : Dourdan, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/866518479#Meeting/workshop_on_specification_of_abstract_data_types_8th_1991_dourdan_france> # Workshop on Specification of Abstract Data Types (8th : 1991 : Dourdan, France)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/866518479#Place/dourdan_france> ; # Dourdan, France)
    schema:name "Workshop on Specification of Abstract Data Types (8th : 1991 : Dourdan, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/866518479#Place/dourdan_france> # Dourdan, France)
    a schema:Place ;
    schema:name "Dourdan, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/866518479#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/27106236> ; # Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/866518479#Topic/programmatuurtechniek> # Programmatuurtechniek
    a schema:Intangible ;
    schema:name "Programmatuurtechniek"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/866518479#Topic/types_abstraits_de_donnees_informatique_congres> # Types abstraits de données (informatique)--Congrès
    a schema:Intangible ;
    schema:name "Types abstraits de données (informatique)--Congrès"@en ;
    schema:name "Types abstraits de données (Informatique)--Congrès"@fr ;
    .

<http://id.worldcat.org/fast/794745> # Abstract data types (Computer science)
    a schema:Intangible ;
    schema:name "Abstract data types (Computer science)"@en ;
    .

<http://viaf.org/viaf/15428370> # Michel Bidoit
    a schema:Person ;
    schema:birthDate "1957" ;
    schema:familyName "Bidoit" ;
    schema:givenName "Michel" ;
    schema:givenName "M." ;
    schema:name "Michel Bidoit" ;
    .

<http://viaf.org/viaf/41042339> # Christine Choppy
    a schema:Person ;
    schema:familyName "Choppy" ;
    schema:givenName "Christine" ;
    schema:givenName "C." ;
    schema:name "Christine Choppy" ;
    .

<http://worldcat.org/isbn/9780387563794>
    a schema:ProductModel ;
    schema:isbn "0387563792" ;
    schema:isbn "9780387563794" ;
    .

<http://worldcat.org/isbn/9783540563792>
    a schema:ProductModel ;
    schema:isbn "3540563792" ;
    schema:isbn "9783540563792" ;
    .

<http://www.worldcat.org/oclc/610471896>
    a schema:CreativeWork ;
    rdfs:label "Recent trends in data type specification." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/27106236> ; # Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers
    .

<http://www.worldcat.org/title/-/oclc/27106236>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/27106236> ; # Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers
    schema:dateModified "2017-11-17" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.