skip to content
Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types : selected papers, Gullane, Scotland, September 1-4, 1987 Preview this item
ClosePreview this item
Checking...

Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types : selected papers, Gullane, Scotland, September 1-4, 1987

Author: D Sannella; Andrzej Tarlecki
Publisher: Berlin ; New York : Springer-Verlag, ©1988.
Series: Lecture notes in computer science, 332.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane, near Edinburgh. Another trend is toward taking a more general view which allows superficially  Read more...

Rating:

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

Subjects
More like this

Find a copy online

Links to this item

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 (5th : 1987 : Gullane, Scotland).
Recent trends in data type specification.
Berlin ; New York : Springer-Verlag, ©1988
(OCoLC)610471945
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: D Sannella; Andrzej Tarlecki
ISBN: 0387503250 9780387503257 3540503250 9783540503255
OCLC Number: 18557464
Description: 259 pages : illustrations ; 24 cm.
Contents: The stratified loose approach: A generalization of initial and loose semantics.- Algebraic data type and process specifications based on projection spaces.- Structuring theories on consequence.- Completion with history-dependent complexities for generated equations.- Jungle evaluation.- The ACT-system experiences and future enhancements.- The specification language of OBSCURE.- Algebraic specifications of reachable higher-order algebras.- Observing nondeterministic data types.- Initial behaviour semantics for algebraic specifications.- Partial algebras, subsorting, and dependent types.- Operational semantics of behavioural canons based on narrowing.- The algebraic specification of semicomputable data types.
Series Title: Lecture notes in computer science, 332.
Responsibility: D. Sannella, A. Tarlecki, eds.

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/18557464> # Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types : selected papers, Gullane, Scotland, September 1-4, 1987
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "18557464" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4924216116#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/4924216116#Topic/types_abstraits_de_donnees_informatique_congres> ; # Types abstraits de données (Informatique)--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/4924216116#Topic/structures_de_donnees_informatique> ; # Structures de données (informatique)
    schema:about <http://experiment.worldcat.org/entity/work/data/4924216116#Topic/programmatuurtechniek> ; # Programmatuurtechniek
    schema:about <http://dewey.info/class/005.73/e19/> ;
    schema:about <http://id.worldcat.org/fast/794745> ; # Abstract data types (Computer science)
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/85214097> ; # Donald Sannella
    schema:contributor <http://viaf.org/viaf/30170516> ; # Andrzej Tarlecki
    schema:copyrightYear "1988" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/4924216116#Meeting/workshop_on_specification_of_abstract_data_types_5th_1987_gullane_scotland> ; # Workshop on Specification of Abstract Data Types (5th : 1987 : Gullane, Scotland)
    schema:datePublished "1988" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4924216116> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4924216116#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/610471945> ;
    schema:name "Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types : selected papers, Gullane, Scotland, September 1-4, 1987"@en ;
    schema:productID "18557464" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/18557464#PublicationEvent/berlin_new_york_springer_verlag_1988> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/4924216116#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-50325-5> ;
    schema:workExample <http://worldcat.org/isbn/9783540503255> ;
    schema:workExample <http://worldcat.org/isbn/9780387503257> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/18557464> ;
    .


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/4924216116#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/4924216116#Meeting/workshop_on_specification_of_abstract_data_types_5th_1987_gullane_scotland> # Workshop on Specification of Abstract Data Types (5th : 1987 : Gullane, Scotland)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/4924216116#Place/gullane_scotland> ; # Gullane, Scotland)
    schema:name "Workshop on Specification of Abstract Data Types (5th : 1987 : Gullane, Scotland)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4924216116#Place/gullane_scotland> # Gullane, Scotland)
    a schema:Place ;
    schema:name "Gullane, Scotland)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4924216116#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/18557464> ; # Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types : selected papers, Gullane, Scotland, September 1-4, 1987
    schema:name "Lecture notes in computer science ;" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/4924216116#Topic/structures_de_donnees_informatique> # Structures de données (informatique)
    a schema:Intangible ;
    schema:name "Structures de données (informatique)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4924216116#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"@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/30170516> # Andrzej Tarlecki
    a schema:Person ;
    schema:familyName "Tarlecki" ;
    schema:givenName "Andrzej" ;
    schema:name "Andrzej Tarlecki" ;
    .

<http://viaf.org/viaf/85214097> # Donald Sannella
    a schema:Person ;
    schema:birthDate "1956" ;
    schema:familyName "Sannella" ;
    schema:givenName "Donald" ;
    schema:givenName "D." ;
    schema:name "Donald Sannella" ;
    .

<http://worldcat.org/isbn/9780387503257>
    a schema:ProductModel ;
    schema:isbn "0387503250" ;
    schema:isbn "9780387503257" ;
    .

<http://worldcat.org/isbn/9783540503255>
    a schema:ProductModel ;
    schema:isbn "3540503250" ;
    schema:isbn "9783540503255" ;
    .

<http://www.worldcat.org/oclc/610471945>
    a schema:CreativeWork ;
    rdfs:label "Recent trends in data type specification." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/18557464> ; # Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types : selected papers, Gullane, Scotland, September 1-4, 1987
    .

<http://www.worldcat.org/title/-/oclc/18557464>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/18557464> ; # Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types : selected papers, Gullane, Scotland, September 1-4, 1987
    schema:dateModified "2018-05-16" ;
    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.