skip to content
Recent Trends in Data Type Specification : 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19-23, 1995 Selected Papers Preview this item
ClosePreview this item
Checking...

Recent Trends in Data Type Specification : 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19-23, 1995 Selected Papers

Author: Magne Haveraaen; Olaf Owe; Ole-Johan Dahl
Publisher: Berlin, Heidelberg : Springer-Verlag, 1996.
Series: Lecture notes in computer science, 1130.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Data Types held jointly with the 8th COMPASS Workshop in Oslo, Norway, in September 1995. The 25 research papers included were chosen from 57 pre-selected workshop presentations; also included are six invited contributions. The volume reports the progress  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: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
Workshop on Specification of Abstract Data Types (11th : 1995 : Oslo, Norway).
Recent Trends in Data Type Specification.
Berlin, Heidelberg : Springer-Verlag, 1996
(DLC) 96036459
(OCoLC)35325314
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Magne Haveraaen; Olaf Owe; Ole-Johan Dahl
ISBN: 9783540706427 3540706429 3540616292 9783540616290
OCLC Number: 827359544
Language Note: English.
Description: 1 online resource : v.: digital.
Contents: Seven years of COMPASS --
Inductively defined relations: A brief tutorial extended abstract --
On the role of category theory in the area of algebraic specifications --
Unification of theories: A challenge for computing science --
The larch shared language: Some open problems --
The lambda calculus as an abstract data type --
Unifying theories in different institutions --
Interchange format for inter-operability of tools and translation --
Experiments with partial evaluation domains for rewrite specifications --
Class-sort polymorphism in GLIDER --
Deontic concepts in the algebraic specification of dynamic systems: The permission case --
Reification --
Changing viewpoint but preserving truth --
A category-based equational logic semantics to constraint programming --
Concurrent state transformations on abstract data types --
A view on implementing processes: Categories of circuits --
Combining algebraic and set-theoretic specifications --
Minimal term rewriting systems --
InterACT: An interactive theorem and completeness prover for algebraic specifications with conditional equations --
Rewriting and reasoning with set-relations II: The non-ground case completeness --
Termination of curryfied rewrite systems --
Formal specifications and test: Correctness and oracle --
Behavioural equivalence, bisimulation, and minimal realisation --
Using limits of parchments to systematically construct institutions of partial algebras --
Behavioural specifications in type theory --
Swinging data types --
Context institutions --
Object-oriented functional programming and type reconstruction --
Moving between logical systems --
Modular algebraic specifications and the orientation of equations into rewrite rules --
A model for I/O in equational languages with don't care non-determinism --
Tool design for structuring mechanisms for algebraic specification languages with initial semantics.
Series Title: Lecture notes in computer science, 1130.
Responsibility: edited by Magne Haveraaen, Olaf Owe, Ole-Johan Dahl.

Abstract:

This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Data Types held jointly with the 8th COMPASS Workshop in Oslo, Norway, in September 1995. The 25 research papers included were chosen from 57 pre-selected workshop presentations; also included are six invited contributions. The volume reports the progress achieved in the area of algebraic specification since the predecessor meeting held in May 1994.

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/827359544> # Recent Trends in Data Type Specification : 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19-23, 1995 Selected Papers
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "827359544" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4776448766#Place/berlin_heidelberg> ; # Berlin, Heidelberg
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:about <http://dewey.info/class/005.73/e20/> ;
    schema:about <http://id.worldcat.org/fast/794745> ; # Abstract data types (Computer science)
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/110397937> ; # Ole-Johan Dahl
    schema:contributor <http://viaf.org/viaf/40442623> ; # Olaf Owe
    schema:contributor <http://viaf.org/viaf/42547078> ; # Magne Haveraaen
    schema:creator <http://experiment.worldcat.org/entity/work/data/4776448766#Meeting/workshop_on_specification_of_abstract_data_types_11th_1995_oslo_norway> ; # Workshop on Specification of Abstract Data Types (11th : 1995 : Oslo, Norway)
    schema:datePublished "1996" ;
    schema:description "This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Data Types held jointly with the 8th COMPASS Workshop in Oslo, Norway, in September 1995. The 25 research papers included were chosen from 57 pre-selected workshop presentations; also included are six invited contributions. The volume reports the progress achieved in the area of algebraic specification since the predecessor meeting held in May 1994."@en ;
    schema:description "Seven years of COMPASS -- Inductively defined relations: A brief tutorial extended abstract -- On the role of category theory in the area of algebraic specifications -- Unification of theories: A challenge for computing science -- The larch shared language: Some open problems -- The lambda calculus as an abstract data type -- Unifying theories in different institutions -- Interchange format for inter-operability of tools and translation -- Experiments with partial evaluation domains for rewrite specifications -- Class-sort polymorphism in GLIDER -- Deontic concepts in the algebraic specification of dynamic systems: The permission case -- Reification -- Changing viewpoint but preserving truth -- A category-based equational logic semantics to constraint programming -- Concurrent state transformations on abstract data types -- A view on implementing processes: Categories of circuits -- Combining algebraic and set-theoretic specifications -- Minimal term rewriting systems -- InterACT: An interactive theorem and completeness prover for algebraic specifications with conditional equations -- Rewriting and reasoning with set-relations II: The non-ground case completeness -- Termination of curryfied rewrite systems -- Formal specifications and test: Correctness and oracle -- Behavioural equivalence, bisimulation, and minimal realisation -- Using limits of parchments to systematically construct institutions of partial algebras -- Behavioural specifications in type theory -- Swinging data types -- Context institutions -- Object-oriented functional programming and type reconstruction -- Moving between logical systems -- Modular algebraic specifications and the orientation of equations into rewrite rules -- A model for I/O in equational languages with don't care non-determinism -- Tool design for structuring mechanisms for algebraic specification languages with initial semantics."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4776448766> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/35325314> ;
    schema:name "Recent Trends in Data Type Specification : 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19-23, 1995 Selected Papers"@en ;
    schema:productID "827359544" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/827359544#PublicationEvent/berlin_heidelberg_springer_verlag_1996> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/4776448766#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://proxy.library.carleton.ca/login?url=http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks2/springer/2011-04-14/3/3540616292> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-61629-0> ;
    schema:url <http://link.springer.com/10.1007/3-540-61629-2> ;
    schema:url <http://dx.doi.org/10.1007/3-540-61629-2> ;
    schema:workExample <http://worldcat.org/isbn/9783540706427> ;
    schema:workExample <http://dx.doi.org/10.1007/3-540-61629-2> ;
    schema:workExample <http://worldcat.org/isbn/9783540616290> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/827359544> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/4776448766#Meeting/workshop_on_specification_of_abstract_data_types_11th_1995_oslo_norway> # Workshop on Specification of Abstract Data Types (11th : 1995 : Oslo, Norway)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/4776448766#Place/oslo_norway> ; # Oslo, Norway)
    schema:name "Workshop on Specification of Abstract Data Types (11th : 1995 : Oslo, Norway)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4776448766#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
    schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/4776448766#Place/oslo_norway> # Oslo, Norway)
    a schema:Place ;
    schema:name "Oslo, Norway)" ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering"@en ;
    .

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

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science"@en ;
    .

<http://viaf.org/viaf/110397937> # Ole-Johan Dahl
    a schema:Person ;
    schema:birthDate "1931" ;
    schema:familyName "Dahl" ;
    schema:givenName "Ole-Johan" ;
    schema:name "Ole-Johan Dahl" ;
    .

<http://viaf.org/viaf/40442623> # Olaf Owe
    a schema:Person ;
    schema:familyName "Owe" ;
    schema:givenName "Olaf" ;
    schema:name "Olaf Owe" ;
    .

<http://viaf.org/viaf/42547078> # Magne Haveraaen
    a schema:Person ;
    schema:familyName "Haveraaen" ;
    schema:givenName "Magne" ;
    schema:name "Magne Haveraaen" ;
    .

<http://worldcat.org/isbn/9783540616290>
    a schema:ProductModel ;
    schema:isbn "3540616292" ;
    schema:isbn "9783540616290" ;
    .

<http://worldcat.org/isbn/9783540706427>
    a schema:ProductModel ;
    schema:isbn "3540706429" ;
    schema:isbn "9783540706427" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/827359544> ; # Recent Trends in Data Type Specification : 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19-23, 1995 Selected Papers
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture Notes in Computer Science," ;
    .

<http://www.worldcat.org/oclc/35325314>
    a schema:CreativeWork ;
    rdfs:label "Recent Trends in Data Type Specification." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/827359544> ; # Recent Trends in Data Type Specification : 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19-23, 1995 Selected Papers
    .

<http://www.worldcat.org/title/-/oclc/827359544>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/827359544> ; # Recent Trends in Data Type Specification : 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19-23, 1995 Selected Papers
    schema:dateModified "2018-09-08" ;
    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.