![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/esop/esop88.bht:"
@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} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.