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    = {Sun, 06 Oct 2024 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}
}

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.