http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27-May 1, 1998 : selected papers
International Seminar on Generic Programming (1998 : Dagstuhl Castle)
1 online resource (x, 267 pages) : illustrations
Fundamentals of Generic Programming / James C. Dehnert and Alexander Stepanov -- Requirement Oriented Programming / David Musser, Sibylle Schupp and Rudiger Loos -- Generative Programming and Active Libraries / Krzysztof Czarnecki, Ulrich Eisenecker and Robert Gluck / [et al.] -- The Refinement Relation of Graph-Based Generic Programs / Karl Lieberherr and Boaz Patt-Shamir -- The Construction Principles of the Class Library Karla / Wolf Zimmermann, Arne Frick and Rainer Neumann -- Exception-Safety in Generic Components / David Abrahams -- Segmented Iterators and Hierarchical Algorithms / Matthew H. Austern -- Theory and Generality of Complete Traversals / David R. Musser and Arturo J. Sanchez-Ruiz -- A Data Abstraction Alternative to Data Structure/Algorithm Modularization / Murali Sitaraman, Bruce W. Weide and Timothy J. Long / [et al.] -- Two Ways to Bake Your Pizza -- Translating Parameterised Types into Java / Martin Odersky, Enno Runne and Philip Wadler -- SuchThat -- Generic Programming Works / Sibylle Schupp and Rudiger Loos -- Software Development in PVS Using Generic Development Steps / Axel Dold -- Model Checking Generic Container Implementations / Matthew B. Dwyer and Corina S. Pasareanu -- Mizar Correctness Proofs of Generic Fraction Field Arithmetic / Christoph Schwarzweller -- Language Independent Container Specification / Alexandre V. Zamulin -- Applications of the Generic Programming Paradigm in the Design of CGAL / Herve Bronnimann, Lutz Kettner and Stefan Schirra / [et al.] -- Generic Programming in POOMA and PETE / James A. Crotinger, Julian Cummings and Scott Haney / [et al.] -- The STL Model in the Geometric Domain / Ullrich Kothe and Karsten Weihe -- Generic Graph Algorithms / Dietmar Kuhl -- A Generic Programming Environment for High-Performance Mathematical Libraries / Wolfgang Schreiner, Werner Danielczyk-Landerl and Mircea Marin / [et al.].
Mehdi Jazayeri, Rüdiger G.K. Loos, David R. Musser (eds.).
Includes bibliographical references and index.
Linguagens de programacao (computadores)
Lecture notes in computer science ; 1766