Search dblp for Publications

export results for "toc:db/conf/esop/esop88.bht:"

 download as .bib file

@inproceedings{DBLP:conf/esop/AikenN88,
  author       = {Alexander Aiken and
                  Alexandru Nicolau},
  editor       = {Harald Ganzinger},
  title        = {Perfect Pipelining: {A} New Loop Parallelization Technique},
  booktitle    = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
                  March 21-24, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {300},
  pages        = {221--235},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19027-9\_15},
  doi          = {10.1007/3-540-19027-9\_15},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/AikenN88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/BahlkeS88,
  author       = {Rolf Bahlke and
                  Gregor Snelting},
  editor       = {Harald Ganzinger},
  title        = {The {PSG} System: From Formal Language Definitions to Interactive
                  Programming Environments},
  booktitle    = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
                  March 21-24, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {300},
  pages        = {374--375},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19027-9\_25},
  doi          = {10.1007/3-540-19027-9\_25},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/BahlkeS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/BertDEDDSW88,
  author       = {Didier Bert and
                  Pascal Drabik and
                  Rachid Echahed and
                  Olivier Declerfayt and
                  Brigitte Demeuse and
                  Pierre{-}Yves Schobbens and
                  Fran{\c{c}}ois Wautier},
  editor       = {Harald Ganzinger},
  title        = {{LPG:} {A} Generic, Logic and Functional Programming Language},
  booktitle    = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
                  March 21-24, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {300},
  pages        = {376--377},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19027-9\_26},
  doi          = {10.1007/3-540-19027-9\_26},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/BertDEDDSW88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/BertlingGS88,
  author       = {Hubert Bertling and
                  Harald Ganzinger and
                  Renate Sch{\"{a}}fers},
  editor       = {Harald Ganzinger},
  title        = {{CEC:} {A} System for the Completion of Conditional Equational Specifications},
  booktitle    = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
                  March 21-24, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {300},
  pages        = {378--379},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19027-9\_27},
  doi          = {10.1007/3-540-19027-9\_27},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/BertlingGS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/BretzE88,
  author       = {Manfred Bretz and
                  J{\"{u}}rgen Ebert},
  editor       = {Harald Ganzinger},
  title        = {An Exception Handling Construct for Functional Languages},
  booktitle    = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
                  March 21-24, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {300},
  pages        = {160--174},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19027-9\_11},
  doi          = {10.1007/3-540-19027-9\_11},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/BretzE88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/Consel88,
  author       = {Charles Consel},
  editor       = {Harald Ganzinger},
  title        = {New Insights into Partial Evaluation: the {SCHISM} Experiment},
  booktitle    = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
                  March 21-24, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {300},
  pages        = {236--246},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19027-9\_16},
  doi          = {10.1007/3-540-19027-9\_16},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/Consel88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/Diepen88,
  author       = {N. W. P. van Diepen},
  editor       = {Harald Ganzinger},
  title        = {Implementation of Modular Algebraic Specifications},
  booktitle    = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
                  March 21-24, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {300},
  pages        = {64--78},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19027-9\_5},
  doi          = {10.1007/3-540-19027-9\_5},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/Diepen88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/DietrichH88,
  author       = {Roland Dietrich and
                  Frank Hagl},
  editor       = {Harald Ganzinger},
  title        = {A Polymorphic Type System with Subtypes for Prolog},
  booktitle    = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
                  March 21-24, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {300},
  pages        = {79--93},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19027-9\_6},
  doi          = {10.1007/3-540-19027-9\_6},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/DietrichH88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/FuhM88,
  author       = {You{-}Chin Fuh and
                  Prateek Mishra},
  editor       = {Harald Ganzinger},
  title        = {Type Inference with Subtypes},
  booktitle    = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
                  March 21-24, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {300},
  pages        = {94--114},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19027-9\_7},
  doi          = {10.1007/3-540-19027-9\_7},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/FuhM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/GaudelM88,
  author       = {Marie{-}Claude Gaudel and
                  Th. Moineau},
  editor       = {Harald Ganzinger},
  title        = {A Theory of Software Reusability},
  booktitle    = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
                  March 21-24, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {300},
  pages        = {115--130},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19027-9\_8},
  doi          = {10.1007/3-540-19027-9\_8},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/GaudelM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/GiegerichS88,
  author       = {Robert Giegerich and
                  Karl Schmal},
  editor       = {Harald Ganzinger},
  title        = {Code Selection Techniques: Pattern Matching, Tree Parsing, and Inversion
                  of Derivors},
  booktitle    = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
                  March 21-24, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {300},
  pages        = {247--268},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19027-9\_17},
  doi          = {10.1007/3-540-19027-9\_17},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/GiegerichS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/GoughB88,
  author       = {Graham Gough and
                  Howard Barringer},
  editor       = {Harald Ganzinger},
  title        = {A Semantics Driven Temporal Verification System},
  booktitle    = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
                  March 21-24, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {300},
  pages        = {21--33},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19027-9\_2},
  doi          = {10.1007/3-540-19027-9\_2},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/GoughB88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/Heckmann88,
  author       = {Reinhold Heckmann},
  editor       = {Harald Ganzinger},
  title        = {A Functional Language for the Specification of Complex Tree Transformations},
  booktitle    = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
                  March 21-24, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {300},
  pages        = {175--190},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19027-9\_12},
  doi          = {10.1007/3-540-19027-9\_12},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/Heckmann88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/Heckmann88a,
  author       = {Reinhold Heckmann},
  editor       = {Harald Ganzinger},
  title        = {A Functional Language for the Specification of Complex Tree Transformations
                  (System Exhibition)},
  booktitle    = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
                  March 21-24, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {300},
  pages        = {380},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19027-9\_28},
  doi          = {10.1007/3-540-19027-9\_28},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/Heckmann88a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/Horwitz88,
  author       = {Susan Horwitz},
  editor       = {Harald Ganzinger},
  title        = {Adding Relational Query Facilities to Software Development Environments},
  booktitle    = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
                  March 21-24, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {300},
  pages        = {269--283},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19027-9\_18},
  doi          = {10.1007/3-540-19027-9\_18},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/Horwitz88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/JacobsL88,
  author       = {Dean Jacobs and
                  Anno Langen},
  editor       = {Harald Ganzinger},
  title        = {Compilation of Logic Programs for Restricted And-Parallelism},
  booktitle    = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
                  March 21-24, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {300},
  pages        = {284--297},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19027-9\_19},
  doi          = {10.1007/3-540-19027-9\_19},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/JacobsL88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/Kaes88,
  author       = {Stefan Kaes},
  editor       = {Harald Ganzinger},
  title        = {Parametric Overloading in Polymorphic Programming Languages},
  booktitle    = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
                  March 21-24, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {300},
  pages        = {131--144},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19027-9\_9},
  doi          = {10.1007/3-540-19027-9\_9},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/Kaes88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/KaplanK88,
  author       = {Simon M. Kaplan and
                  Gail E. Kaiser},
  editor       = {Harald Ganzinger},
  title        = {Garp: Graph Abstractions for Concurrent Programming},
  booktitle    = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
                  March 21-24, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {300},
  pages        = {191--205},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19027-9\_13},
  doi          = {10.1007/3-540-19027-9\_13},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/KaplanK88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/Krieg-Bruckner88,
  author       = {Bernd Krieg{-}Br{\"{u}}ckner},
  editor       = {Harald Ganzinger},
  title        = {Algebraic Formalisation of Program Development by Transformation},
  booktitle    = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
                  March 21-24, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {300},
  pages        = {34--48},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19027-9\_3},
  doi          = {10.1007/3-540-19027-9\_3},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/Krieg-Bruckner88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/Laville88,
  author       = {Alain Laville},
  editor       = {Harald Ganzinger},
  title        = {Implementation of Lazy Pattern Matching Algorithms},
  booktitle    = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
                  March 21-24, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {300},
  pages        = {298--316},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19027-9\_20},
  doi          = {10.1007/3-540-19027-9\_20},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/Laville88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/Legrand88,
  author       = {Remi Legrand},
  editor       = {Harald Ganzinger},
  title        = {Extending Functional Programming Towards Relations},
  booktitle    = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
                  March 21-24, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {300},
  pages        = {206--220},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19027-9\_14},
  doi          = {10.1007/3-540-19027-9\_14},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/Legrand88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/MartelliR88,
  author       = {Alberto Martelli and
                  Gianfranco Rossi},
  editor       = {Harald Ganzinger},
  title        = {Enhancing Prolog to Support Prolog Programming Environments},
  booktitle    = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
                  March 21-24, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {300},
  pages        = {317--327},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19027-9\_21},
  doi          = {10.1007/3-540-19027-9\_21},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/MartelliR88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/NielsonN88,
  author       = {Flemming Nielson and
                  Hanne Riis Nielson},
  editor       = {Harald Ganzinger},
  title        = {2-level lambda-lifting},
  booktitle    = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
                  March 21-24, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {300},
  pages        = {328--343},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19027-9\_22},
  doi          = {10.1007/3-540-19027-9\_22},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/NielsonN88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/Parigot88,
  author       = {Michel Parigot},
  editor       = {Harald Ganzinger},
  title        = {Programming with Proofs: {A} Second Order Type Theory},
  booktitle    = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
                  March 21-24, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {300},
  pages        = {145--159},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19027-9\_10},
  doi          = {10.1007/3-540-19027-9\_10},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/Parigot88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/RepsH88,
  author       = {Thomas W. Reps and
                  Susan Horwitz},
  editor       = {Harald Ganzinger},
  title        = {Semantics-Based Program Integration},
  booktitle    = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
                  March 21-24, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {300},
  pages        = {1--20},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19027-9\_1},
  doi          = {10.1007/3-540-19027-9\_1},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/RepsH88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/Takayama88,
  author       = {Yukihide Takayama},
  editor       = {Harald Ganzinger},
  title        = {{QPC:} QJ-based Proof Compiler - Simple Examples and Analysis},
  booktitle    = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
                  March 21-24, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {300},
  pages        = {49--63},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19027-9\_4},
  doi          = {10.1007/3-540-19027-9\_4},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/Takayama88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/Wadler88,
  author       = {Philip Wadler},
  editor       = {Harald Ganzinger},
  title        = {Deforestation: Transforming Programs to Eliminate Trees},
  booktitle    = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
                  March 21-24, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {300},
  pages        = {344--358},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19027-9\_23},
  doi          = {10.1007/3-540-19027-9\_23},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/Wadler88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/WeemeeuwBH88,
  author       = {Patrick Weemeeuw and
                  Maurice Bruynooghe and
                  Marleen De Haondt},
  editor       = {Harald Ganzinger},
  title        = {On Implementing Logic Programming Languages on a Dataflow Architecture},
  booktitle    = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
                  March 21-24, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {300},
  pages        = {359--372},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19027-9\_24},
  doi          = {10.1007/3-540-19027-9\_24},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/WeemeeuwBH88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/esop/1988,
  editor       = {Harald Ganzinger},
  title        = {{ESOP} '88, 2nd European Symposium on Programming, Nancy, France,
                  March 21-24, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {300},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19027-9},
  doi          = {10.1007/3-540-19027-9},
  isbn         = {3-540-19027-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/1988.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.