rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Generic programming
    sub title: International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27-May 1, 1998 : selected papers
  name:
    name part: International Seminar on Generic Programming (1998 : Dagstuhl Castle)
    role:
      role term: creator
  name:
    name part: Jazayeri, Mehdi.
  name:
    name part: Loos, R. (Rüdiger)
    name part: 1938-
  name:
    name part: Musser, David R.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: bibliography
  genre: conference publication
  genre: Electronic books.
  genre: Conference proceedings.
  genre: Dagstuhl (1998)
  origin info:
    place:
      place term: gw
    date issued: 2000
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (x, 267 pages) : illustrations
  table of contents: 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.].
  note: Mehdi Jazayeri, Rüdiger G.K. Loos, David R. Musser (eds.).
  note: Electronic resource.
  note: Includes bibliographical references and index.
  subject:
    topic: Generic programming (Computer science)
    genre: Congresses
  subject:
    topic: structure donnée
  subject:
    topic: construction programme
  subject:
    topic: vérification logiciel
  subject:
    topic: STL
  subject:
    topic: méthodologie programmation
  subject:
    topic: programmation générique
  subject:
    topic: Programmation générique
    genre: Congrès
  subject:
    topic: Generic programming (Computer science)
  subject:
    topic: Programmeertalen
  subject:
    topic: Programmatuurtechniek
  subject:
    topic: Datastructuren
  subject:
    topic: Programacao De Computadores
  subject:
    topic: Linguagens de programacao (computadores)
  subject:
    topic: Ordinateurs
    topic: Programmation
  subject:
    topic: Microordinateurs
    topic: Programmation
  subject:
    topic: Generische Programmierung
  subject:
    topic: Kongress
  classification: QA76.6245 .I58 1998
  classification: 005
  classification: 54.50
  classification: DAT 310f
  classification: SS 4800
  related item:
    title info:
      title: Lecture notes in computer science ; 1766
  identifier: 3540410902
  identifier: 9783540410904
  identifier: 00046990
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: DLC
    record creation date: 000907
    record change date: 20190325093916.0
    record identifier: in00001573069
    language of cataloging:
      language term: eng