skip to content
Generic Programming : International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27-May 1, 1998 Selected Papers Preview this item
ClosePreview this item
Checking...

Generic Programming : International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27-May 1, 1998 Selected Papers

Author: Mehdi Jazayeri; Rüdiger G K Loos; David R Musser
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.
Series: Lecture notes in computer science, 1766.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
This book constitutes the thoroughly refereed post-proceedings of the International Seminar on Generic Programming held in Dagstuhl Castle, Germany in April/May 1998. The 20 revised full papers were carefully reviewed for inclusion in the book. As the first book entirely devoted to the new paradigm of generic programming, this collection offers topical sections on foundations and methodology comparisons, programming  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
Additional Physical Format: Printed edition
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Mehdi Jazayeri; Rüdiger G K Loos; David R Musser
ISBN: 9783540410904 3540410902 9783540399537 3540399534
OCLC Number: 851731671
Description: 1 online resource (x, 267 pages).
Contents: Foundations and Methodology Comparisons --
Fundamentals of Generic Programming --
Requirement Oriented Programming --
Generative Programming and Active Libraries --
The Refinement Relation of Graph-Based Generic Programs --
The Construction Principles of the Class Library Karla --
Programming Methodology --
Exception-Safety in Generic Components --
Segmented Iterators and Hierarchical Algorithms --
Theory and Generality of Complete Traversals --
A Data Abstraction Alternative to Data Structure/Algorithm Modularization --
Language Design --
Two Ways to Bake Your Pizza --
Translating Parameterised Types into Java --
SuchThat --
Generic Programming Works --
Specification and Verification --
Software Development in PVS Using Generic Development Steps --
Model Checking Generic Container Implementations --
Mizar Correctness Proofs of Generic Fraction Field Arithmetic --
Language Independent Container Specification --
Applications --
Applications of the Generic Programming Paradigm in the Design of CGAL --
Generic Programming in POOMA and PETE --
The STL Model in the Geometric Domain --
Generic Graph Algorithms --
A Generic Programming Environment for High-Performance Mathematical Libraries.
Series Title: Lecture notes in computer science, 1766.
Responsibility: edited by Mehdi Jazayeri, Rüdiger G.K. Loos, David R. Musser.

Abstract:

This book constitutes the thoroughly refereed post-proceedings of the International Seminar on Generic Programming held in Dagstuhl Castle, Germany in April/May 1998. The 20 revised full papers were carefully reviewed for inclusion in the book. As the first book entirely devoted to the new paradigm of generic programming, this collection offers topical sections on foundations and methodology comparisons, programming methodology, language design, and applications.

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/851731671> # Generic Programming : International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27-May 1, 1998 Selected Papers
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
   library:oclcnum "851731671" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/891406475#Place/berlin_heidelberg> ; # Berlin, Heidelberg
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://id.worldcat.org/fast/872527> ; # Computer software
   schema:about <http://dewey.info/class/005.1015113/e23/> ;
   schema:about <http://id.loc.gov/authorities/subjects/sh2007100982> ; # Algebra--Data processing
   schema:about <http://id.worldcat.org/fast/887978> ; # Data structures (Computer science)
   schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
   schema:about <http://id.worldcat.org/fast/804890> ; # Algebra--Data processing
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/44549856> ; # David R. Musser
   schema:contributor <http://viaf.org/viaf/34956020> ; # Rüdiger G. K. Loos
   schema:creator <http://viaf.org/viaf/10083871> ; # Mehdi Jazayeri
   schema:datePublished "2000" ;
   schema:description "This book constitutes the thoroughly refereed post-proceedings of the International Seminar on Generic Programming held in Dagstuhl Castle, Germany in April/May 1998. The 20 revised full papers were carefully reviewed for inclusion in the book. As the first book entirely devoted to the new paradigm of generic programming, this collection offers topical sections on foundations and methodology comparisons, programming methodology, language design, and applications."@en ;
   schema:description "Foundations and Methodology Comparisons -- Fundamentals of Generic Programming -- Requirement Oriented Programming -- Generative Programming and Active Libraries -- The Refinement Relation of Graph-Based Generic Programs -- The Construction Principles of the Class Library Karla -- Programming Methodology -- Exception-Safety in Generic Components -- Segmented Iterators and Hierarchical Algorithms -- Theory and Generality of Complete Traversals -- A Data Abstraction Alternative to Data Structure/Algorithm Modularization -- Language Design -- Two Ways to Bake Your Pizza -- Translating Parameterised Types into Java -- SuchThat -- Generic Programming Works -- Specification and Verification -- Software Development in PVS Using Generic Development Steps -- Model Checking Generic Container Implementations -- Mizar Correctness Proofs of Generic Fraction Field Arithmetic -- Language Independent Container Specification -- Applications -- Applications of the Generic Programming Paradigm in the Design of CGAL -- Generic Programming in POOMA and PETE -- The STL Model in the Geometric Domain -- Generic Graph Algorithms -- A Generic Programming Environment for High-Performance Mathematical Libraries."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/891406475> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/891406475#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture Notes in Computer Science,
   schema:isSimilarTo <http://worldcat.org/entity/work/data/891406475#CreativeWork/> ;
   schema:name "Generic Programming : International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27-May 1, 1998 Selected Papers"@en ;
   schema:productID "851731671" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/851731671#PublicationEvent/berlin_heidelberg_springer_berlin_heidelberg_2000> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/891406475#Agent/springer_berlin_heidelberg> ; # Springer Berlin Heidelberg
   schema:url <http://dx.doi.org/10.1007/3-540-39953-4> ;
   schema:workExample <http://worldcat.org/isbn/9783540399537> ;
   schema:workExample <http://worldcat.org/isbn/9783540410904> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/851731671> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/891406475#Agent/springer_berlin_heidelberg> # Springer Berlin Heidelberg
    a bgn:Agent ;
   schema:name "Springer Berlin Heidelberg" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/891406475#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/851731671> ; # Generic Programming : International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27-May 1, 1998 Selected Papers
   schema:name "Lecture notes in computer science ;" ;
    .

<http://id.loc.gov/authorities/subjects/sh2007100982> # Algebra--Data processing
    a schema:Intangible ;
   schema:name "Algebra--Data processing"@en ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
   schema:name "Logic design"@en ;
    .

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

<http://id.worldcat.org/fast/804890> # Algebra--Data processing
    a schema:Intangible ;
   schema:name "Algebra--Data processing"@en ;
    .

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

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

<http://id.worldcat.org/fast/887978> # Data structures (Computer science)
    a schema:Intangible ;
   schema:name "Data structures (Computer science)"@en ;
    .

<http://viaf.org/viaf/10083871> # Mehdi Jazayeri
    a schema:Person ;
   schema:familyName "Jazayeri" ;
   schema:givenName "Mehdi" ;
   schema:name "Mehdi Jazayeri" ;
    .

<http://viaf.org/viaf/34956020> # Rüdiger G. K. Loos
    a schema:Person ;
   schema:familyName "Loos" ;
   schema:givenName "Rüdiger G. K." ;
   schema:name "Rüdiger G. K. Loos" ;
    .

<http://viaf.org/viaf/44549856> # David R. Musser
    a schema:Person ;
   schema:familyName "Musser" ;
   schema:givenName "David R." ;
   schema:name "David R. Musser" ;
    .

<http://worldcat.org/entity/work/data/891406475#CreativeWork/>
    a schema:CreativeWork ;
   schema:description "Printed edition" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/851731671> ; # Generic Programming : International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27-May 1, 1998 Selected Papers
    .

<http://worldcat.org/isbn/9783540399537>
    a schema:ProductModel ;
   schema:isbn "3540399534" ;
   schema:isbn "9783540399537" ;
    .

<http://worldcat.org/isbn/9783540410904>
    a schema:ProductModel ;
   schema:isbn "3540410902" ;
   schema:isbn "9783540410904" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture Notes in Computer Science,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/851731671> ; # Generic Programming : International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27-May 1, 1998 Selected Papers
   schema:issn "0302-9743" ;
   schema:name "Lecture Notes in Computer Science," ;
    .

<http://www.worldcat.org/title/-/oclc/851731671>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/851731671> ; # Generic Programming : International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27-May 1, 1998 Selected Papers
   schema:dateModified "2018-11-11" ;
   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.