Search dblp for Publications

export results for "toc:db/conf/dagstuhl/generic1998.bht:"

 download as .bib file

@proceedings{DBLP:conf/dagstuhl/1998gp,
  editor       = {Mehdi Jazayeri and
                  R{\"{u}}diger Loos and
                  David R. Musser},
  title        = {Generic Programming, International Seminar on Generic Programming,
                  Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1766},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-39953-4},
  doi          = {10.1007/3-540-39953-4},
  isbn         = {3-540-41090-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/1998gp.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/Abrahams98,
  author       = {David Abrahams},
  editor       = {Mehdi Jazayeri and
                  R{\"{u}}diger Loos and
                  David R. Musser},
  title        = {Exception-Safety in Generic Components},
  booktitle    = {Generic Programming, International Seminar on Generic Programming,
                  Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1766},
  pages        = {69--79},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-39953-4\_6},
  doi          = {10.1007/3-540-39953-4\_6},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Abrahams98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/Austern98,
  author       = {Matthew H. Austern},
  editor       = {Mehdi Jazayeri and
                  R{\"{u}}diger Loos and
                  David R. Musser},
  title        = {Segmented Iterators and Hierarchical Algorithms},
  booktitle    = {Generic Programming, International Seminar on Generic Programming,
                  Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1766},
  pages        = {80--90},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-39953-4\_7},
  doi          = {10.1007/3-540-39953-4\_7},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Austern98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/BronnimannKSV98,
  author       = {Herv{\'{e}} Br{\"{o}}nnimann and
                  Lutz Kettner and
                  Stefan Schirra and
                  Remco C. Veltkamp},
  editor       = {Mehdi Jazayeri and
                  R{\"{u}}diger Loos and
                  David R. Musser},
  title        = {Applications of the Generic Programming Paradigm in the Design of
                  {CGAL}},
  booktitle    = {Generic Programming, International Seminar on Generic Programming,
                  Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1766},
  pages        = {206--217},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-39953-4\_16},
  doi          = {10.1007/3-540-39953-4\_16},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/BronnimannKSV98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/CrotingerCHHKRSW98,
  author       = {James Crotinger and
                  Julian Cummings and
                  Scott Haney and
                  William Humphrey and
                  Steve Karmesin and
                  John Reynders and
                  Stephen Smith and
                  Timothy J. Williams},
  editor       = {Mehdi Jazayeri and
                  R{\"{u}}diger Loos and
                  David R. Musser},
  title        = {Generic Programming in {POOMA} and {PETE}},
  booktitle    = {Generic Programming, International Seminar on Generic Programming,
                  Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1766},
  pages        = {218--231},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-39953-4\_17},
  doi          = {10.1007/3-540-39953-4\_17},
  timestamp    = {Thu, 01 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/CrotingerCHHKRSW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/CzarneckiEGVV98,
  author       = {Krzysztof Czarnecki and
                  Ulrich W. Eisenecker and
                  Robert Gl{\"{u}}ck and
                  David Vandevoorde and
                  Todd L. Veldhuizen},
  editor       = {Mehdi Jazayeri and
                  R{\"{u}}diger Loos and
                  David R. Musser},
  title        = {Generative Programming and Active Libraries},
  booktitle    = {Generic Programming, International Seminar on Generic Programming,
                  Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1766},
  pages        = {25--39},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-39953-4\_3},
  doi          = {10.1007/3-540-39953-4\_3},
  timestamp    = {Fri, 30 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/CzarneckiEGVV98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/DehnertS98,
  author       = {James C. Dehnert and
                  Alexander Stepanov},
  editor       = {Mehdi Jazayeri and
                  R{\"{u}}diger Loos and
                  David R. Musser},
  title        = {Fundamentals of Generic Programming},
  booktitle    = {Generic Programming, International Seminar on Generic Programming,
                  Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1766},
  pages        = {1--11},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-39953-4\_1},
  doi          = {10.1007/3-540-39953-4\_1},
  timestamp    = {Tue, 19 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/DehnertS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/Dold98,
  author       = {Axel Dold},
  editor       = {Mehdi Jazayeri and
                  R{\"{u}}diger Loos and
                  David R. Musser},
  title        = {Software Development in {PVS} Using Generic Development Steps},
  booktitle    = {Generic Programming, International Seminar on Generic Programming,
                  Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1766},
  pages        = {146--161},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-39953-4\_12},
  doi          = {10.1007/3-540-39953-4\_12},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Dold98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/DwyerP98,
  author       = {Matthew B. Dwyer and
                  Corina S. Pasareanu},
  editor       = {Mehdi Jazayeri and
                  R{\"{u}}diger Loos and
                  David R. Musser},
  title        = {Model Checking Generic Container Implementations},
  booktitle    = {Generic Programming, International Seminar on Generic Programming,
                  Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1766},
  pages        = {162--177},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-39953-4\_13},
  doi          = {10.1007/3-540-39953-4\_13},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/DwyerP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/KotheW98,
  author       = {Ullrich K{\"{o}}the and
                  Karsten Weihe},
  editor       = {Mehdi Jazayeri and
                  R{\"{u}}diger Loos and
                  David R. Musser},
  title        = {The {STL} Model in the Geometric Domain},
  booktitle    = {Generic Programming, International Seminar on Generic Programming,
                  Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1766},
  pages        = {232--248},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-39953-4\_18},
  doi          = {10.1007/3-540-39953-4\_18},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/KotheW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/Kuhl98,
  author       = {Dietmar K{\"{u}}hl},
  editor       = {Mehdi Jazayeri and
                  R{\"{u}}diger Loos and
                  David R. Musser},
  title        = {Generic Graph Algorithms},
  booktitle    = {Generic Programming, International Seminar on Generic Programming,
                  Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1766},
  pages        = {249--255},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-39953-4\_19},
  doi          = {10.1007/3-540-39953-4\_19},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Kuhl98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/LieberherrP98,
  author       = {Karl J. Lieberherr and
                  Boaz Patt{-}Shamir},
  editor       = {Mehdi Jazayeri and
                  R{\"{u}}diger Loos and
                  David R. Musser},
  title        = {The Refinement Relation of Graph-Based Generic Programs},
  booktitle    = {Generic Programming, International Seminar on Generic Programming,
                  Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1766},
  pages        = {40--52},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-39953-4\_4},
  doi          = {10.1007/3-540-39953-4\_4},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/LieberherrP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/MusserS98,
  author       = {David R. Musser and
                  Arturo J. S{\'{a}}nchez{-}Ru{\'{\i}}z},
  editor       = {Mehdi Jazayeri and
                  R{\"{u}}diger Loos and
                  David R. Musser},
  title        = {Theory and Generality of Complete Traversals},
  booktitle    = {Generic Programming, International Seminar on Generic Programming,
                  Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1766},
  pages        = {91--101},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-39953-4\_8},
  doi          = {10.1007/3-540-39953-4\_8},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/MusserS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/MusserSL98,
  author       = {David R. Musser and
                  Sibylle Schupp and
                  R{\"{u}}diger Loos},
  editor       = {Mehdi Jazayeri and
                  R{\"{u}}diger Loos and
                  David R. Musser},
  title        = {Requirement Oriented Programming},
  booktitle    = {Generic Programming, International Seminar on Generic Programming,
                  Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1766},
  pages        = {12--24},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-39953-4\_2},
  doi          = {10.1007/3-540-39953-4\_2},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/MusserSL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/OderskyRW98,
  author       = {Martin Odersky and
                  Enno Runne and
                  Philip Wadler},
  editor       = {Mehdi Jazayeri and
                  R{\"{u}}diger Loos and
                  David R. Musser},
  title        = {Two Ways to Bake Your Pizza - Translating Parameterised Types into
                  Java},
  booktitle    = {Generic Programming, International Seminar on Generic Programming,
                  Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1766},
  pages        = {114--132},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-39953-4\_10},
  doi          = {10.1007/3-540-39953-4\_10},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/OderskyRW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/SchreinerDMS98,
  author       = {Wolfgang Schreiner and
                  Werner Danielczyk{-}Landerl and
                  Mircea Marin and
                  Wolfgang St{\"{o}}cher},
  editor       = {Mehdi Jazayeri and
                  R{\"{u}}diger Loos and
                  David R. Musser},
  title        = {A Generic Programming Environment for High-Performance Mathematical
                  Libraries},
  booktitle    = {Generic Programming, International Seminar on Generic Programming,
                  Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1766},
  pages        = {256--268},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-39953-4\_20},
  doi          = {10.1007/3-540-39953-4\_20},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/SchreinerDMS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/SchuppL98,
  author       = {Sibylle Schupp and
                  R{\"{u}}diger Loos},
  editor       = {Mehdi Jazayeri and
                  R{\"{u}}diger Loos and
                  David R. Musser},
  title        = {{SUCHTHAT} - Generic Programming Works},
  booktitle    = {Generic Programming, International Seminar on Generic Programming,
                  Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1766},
  pages        = {133--145},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-39953-4\_11},
  doi          = {10.1007/3-540-39953-4\_11},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/SchuppL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/Schwarzweller98,
  author       = {Christoph Schwarzweller},
  editor       = {Mehdi Jazayeri and
                  R{\"{u}}diger Loos and
                  David R. Musser},
  title        = {Mizar Correctness Proofs of Generic Fraction Field Arithmetic},
  booktitle    = {Generic Programming, International Seminar on Generic Programming,
                  Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1766},
  pages        = {178--191},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-39953-4\_14},
  doi          = {10.1007/3-540-39953-4\_14},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Schwarzweller98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/SitaramanWLO98,
  author       = {Murali Sitaraman and
                  Bruce W. Weide and
                  Timothy J. Long and
                  William F. Ogden},
  editor       = {Mehdi Jazayeri and
                  R{\"{u}}diger Loos and
                  David R. Musser},
  title        = {A Data Abstraction Alternative to Data Structure/Algorithm Modularization},
  booktitle    = {Generic Programming, International Seminar on Generic Programming,
                  Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1766},
  pages        = {102--113},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-39953-4\_9},
  doi          = {10.1007/3-540-39953-4\_9},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/SitaramanWLO98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/Zamulin98,
  author       = {Alexandre V. Zamulin},
  editor       = {Mehdi Jazayeri and
                  R{\"{u}}diger Loos and
                  David R. Musser},
  title        = {Language Independent Container Specification},
  booktitle    = {Generic Programming, International Seminar on Generic Programming,
                  Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1766},
  pages        = {192--205},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-39953-4\_15},
  doi          = {10.1007/3-540-39953-4\_15},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Zamulin98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/ZimmermannFN98,
  author       = {Wolf Zimmermann and
                  Arne Frick and
                  Rainer Neumann},
  editor       = {Mehdi Jazayeri and
                  R{\"{u}}diger Loos and
                  David R. Musser},
  title        = {The Construction Principles of the Class Library {KARLA}},
  booktitle    = {Generic Programming, International Seminar on Generic Programming,
                  Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1766},
  pages        = {53--68},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-39953-4\_5},
  doi          = {10.1007/3-540-39953-4\_5},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/ZimmermannFN98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.