default search action
Search dblp for Publications
export results for "stream:conf/plilp:"
@inproceedings{DBLP:conf/plilp/AjiliL98, author = {Farid Ajili and Hendrik C. R. Lock}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {Integrating Constraint Propagation in Complete Solving of Linear Diophantine Systems}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {463--480}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056633}, doi = {10.1007/BFB0056633}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/plilp/AjiliL98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Aoto98, author = {Takahito Aoto}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {Solution to the Problem of Zantema on a Persistent Property of Term Rewriting Systems}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {250--265}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056618}, doi = {10.1007/BFB0056618}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Aoto98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Arenas-SanchezLR98, author = {Puri Arenas{-}S{\'{a}}nchez and Francisco Javier L{\'{o}}pez{-}Fraguas and Mario Rodr{\'{u}}guez{-}Arteljo}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {Embedding Multiset Constraints into a Lazy Functional Logic Language}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {429--444}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056631}, doi = {10.1007/BFB0056631}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Arenas-SanchezLR98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Asperti98, author = {Andrea Asperti}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {Optimal Reduction of Functional Expressions}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {427--428}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056630}, doi = {10.1007/BFB0056630}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Asperti98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BreitingerKL98, author = {Silvia Breitinger and Ulrike Klusik and Rita Loogen}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {From (Sequential) Haskell to (Parallel) Eden: An Implementation Point of View}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {318--334}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056623}, doi = {10.1007/BFB0056623}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/BreitingerKL98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BruynoogheVWD98, author = {Maurice Bruynooghe and Henk Vandecasteele and D. Andre de Waal and Marc Denecker}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {Detecting Unsolvable Queries for Definite Logic Programs}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {118--133}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056611}, doi = {10.1007/BFB0056611}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/BruynoogheVWD98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/ClearyL98, author = {John G. Cleary and Lunjin Lu}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {Constructive Negation Using Typed Existence Properties}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {411--426}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056629}, doi = {10.1007/BFB0056629}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/ClearyL98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/CodishS98, author = {Michael Codish and Harald S{\o}ndergaard}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {The Boolean Logic of Set Sharing Analysis}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {89--101}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056609}, doi = {10.1007/BFB0056609}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/plilp/CodishS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/ConselM98, author = {Charles Consel and Renaud Marlet}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {Architecture Software Using: {A} Methodology for Language Development}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {170--194}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056614}, doi = {10.1007/BFB0056614}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/ConselM98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/CosmoLN98, author = {Roberto Di Cosmo and Jean{-}Vincent Loddo and Stephane Nicolet}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {A Game Semantics Foundation for Logic Programming (Extended Abstract)}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {355--373}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056626}, doi = {10.1007/BFB0056626}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/CosmoLN98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/CuiDDKRRRSW98, author = {Baoqiu Cui and Yifei Dong and Xiaoqun Du and K. Narayan Kumar and C. R. Ramakrishnan and I. V. Ramakrishnan and Abhik Roychoudhury and Scott A. Smolka and David Scott Warren}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {Logic Programming and Model Checking}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {1--20}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056604}, doi = {10.1007/BFB0056604}, timestamp = {Mon, 03 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/CuiDDKRRRSW98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/DemoenS98, author = {Bart Demoen and Konstantinos Sagonas}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {{CAT:} The Copying Approach to Tabling}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {21--35}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056605}, doi = {10.1007/BFB0056605}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/DemoenS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Elliott98, author = {Conal Elliott}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {Functional Implementations of Continuos Modeled Animation}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {284--299}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056621}, doi = {10.1007/BFB0056621}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Elliott98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/EskilsonC98, author = {Jesper Eskilson and Mats Carlsson}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {SICStus {MT} - {A} Multithreaded Execution Environment for SICStus Prolog}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {36--53}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056606}, doi = {10.1007/BFB0056606}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/EskilsonC98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/FeeleyL98, author = {Marc Feeley and Martin Larose}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {Compiling Erlang to Scheme}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {300--317}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056622}, doi = {10.1007/BFB0056622}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/FeeleyL98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/GoguenMK98, author = {Joseph A. Goguen and Grant Malcolm and Tom Kemp}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {A Hidden Herbrand Theorem}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {445--462}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056632}, doi = {10.1007/BFB0056632}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/GoguenMK98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Hannan98, author = {John Hannan}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {Program Analysis in Lambda-Prolog}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {353--354}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056625}, doi = {10.1007/BFB0056625}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Hannan98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/HanusS98, author = {Michael Hanus and Frank Steiner}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {Controlling Search in Declarative Programs}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {374--390}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056627}, doi = {10.1007/BFB0056627}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/HanusS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/HatcliffDL98, author = {John Hatcliff and Matthew B. Dwyer and Shawn Laubach}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {Staging Static Analyses Using Abstraction-Based Program Specialization}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {134--151}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056612}, doi = {10.1007/BFB0056612}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/HatcliffDL98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/KesnerL98, author = {Delia Kesner and Pablo E. Mart{\'{\i}}nez L{\'{o}}pez}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {Explicit Substitutions for Objects and Functions}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {195--212}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056615}, doi = {10.1007/BFB0056615}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/KesnerL98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/LeviS98, author = {Giorgio Levi and Fausto Spoto}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {152--169}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056613}, doi = {10.1007/BFB0056613}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/LeviS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/LeviV98, author = {Giorgio Levi and Paolo Volpe}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {Derivation of Proof Methods by Abstract Interpretation}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {102--117}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056610}, doi = {10.1007/BFB0056610}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/LeviV98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/LimetS98, author = {S{\'{e}}bastien Limet and Fr{\'{e}}d{\'{e}}ric Saubion}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {A General Framework for R-Unification Problems}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {266--281}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056619}, doi = {10.1007/BFB0056619}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/LimetS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/LiptonM98, author = {James Lipton and Robert McGrail}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {Encapsulating Data in Logic Programming via Categorial Constraints}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {391--410}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056628}, doi = {10.1007/BFB0056628}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/LiptonM98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/MoreauK98, author = {Pierre{-}Etienne Moreau and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {A Compiler for Rewrite Programs in Associative-Commutative Theories}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {230--249}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056617}, doi = {10.1007/BFB0056617}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/MoreauK98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Pitts98, author = {Andrew M. Pitts}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {Operational Versus Denotational Methods in the Semantics of Higher Order Languages}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {282--283}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056620}, doi = {10.1007/BFB0056620}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Pitts98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/PontelliRG98, author = {Enrico Pontelli and Desh Ranjan and Gopal Gupta}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {The Complexity of Late-Binding in Dynamic Object-Oriented Languages}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {213--229}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056616}, doi = {10.1007/BFB0056616}, timestamp = {Wed, 26 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/PontelliRG98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Refalo98, author = {Philippe Refalo}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {Approaches to the Incremental Detection of Implicit Equalities with the Revised Simplex Method}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {481--496}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056634}, doi = {10.1007/BFB0056634}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Refalo98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/SmausHK98, author = {Jan{-}Georg Smaus and Patricia M. Hill and Andy King}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {Termination of Logic Programs with block Declarations Running in Several Modes}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {73--88}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056608}, doi = {10.1007/BFB0056608}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/SmausHK98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/VanhoofSM98, author = {Wim Vanhoof and Danny De Schreye and Bern Martens}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {A Framework for Bottom Up Specialisation of Logic Programs}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {54--72}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056607}, doi = {10.1007/BFB0056607}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/VanhoofSM98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Wakeling98, author = {David Wakeling}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {335--352}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056624}, doi = {10.1007/BFB0056624}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Wakeling98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/plilp/1998, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056603}, doi = {10.1007/BFB0056603}, isbn = {3-540-65012-1}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/1998.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/AnconaZ97, author = {Davide Ancona and Elena Zucca}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {Overriding Operators in a Mixin-Based Framework}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, pages = {47--61}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033836}, doi = {10.1007/BFB0033836}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/plilp/AnconaZ97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/AntoyA97, author = {Sergio Antoy and Zena M. Ariola}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {Narrowing the Narrowing Space}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, pages = {1--15}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033833}, doi = {10.1007/BFB0033833}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/AntoyA97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BartheHS97, author = {Gilles Barthe and John Hatcliff and Morten Heine S{\o}rensen}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {Reflections on Reflections}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, pages = {241--258}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033848}, doi = {10.1007/BFB0033848}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/BartheHS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BowersHI97, author = {Antony Francis Bowers and Patricia M. Hill and Francisco Iba{\~{n}}ez}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {Resolution for Logic Programming with Universal Quantifiers}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, pages = {63--77}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033837}, doi = {10.1007/BFB0033837}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/BowersHI97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/CarlssonOC97, author = {Mats Carlsson and Greger Ottosson and Bj{\"{o}}rn Carlson}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {An Open-Ended Finite Domain Constraint Solver}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, pages = {191--206}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033845}, doi = {10.1007/BFB0033845}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/CarlssonOC97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/CompagnoniF97, author = {Adriana B. Compagnoni and Maribel Fern{\'{a}}ndez}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {On Object Calculus with Algebraic Rewriting}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, pages = {17--31}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033834}, doi = {10.1007/BFB0033834}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/CompagnoniF97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Cousineau97, author = {Guy Cousineau}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {Functional Programming and Geometry}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, pages = {309--322}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033852}, doi = {10.1007/BFB0033852}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Cousineau97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/EisingerGP97, author = {Norbert Eisinger and Tim Geisler and Sven Panne}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {Logic Implemented Functionally}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, pages = {351--368}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033855}, doi = {10.1007/BFB0033855}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/EisingerGP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/FindlerFFKF97, author = {Robert Bruce Findler and Cormac Flanagan and Matthew Flatt and Shriram Krishnamurthi and Matthias Felleisen}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {DrScheme: {A} Pedagogic Programming Environment for Scheme}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, pages = {369--388}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033856}, doi = {10.1007/BFB0033856}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/plilp/FindlerFFKF97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Fujinami97, author = {Nobuhisa Fujinami}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {Automatic Run-Time Code Generation in Object-Oriented Languages}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, pages = {423--424}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033861}, doi = {10.1007/BFB0033861}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Fujinami97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/GallardoGR97, author = {Jos{\'{e}} E. Gallardo and Francisco Guti{\'{e}}rrez and Blas C. Ruiz}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {Inheritance and Selective Methods Dispatching in Concurrent Haskell}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, pages = {33--46}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033835}, doi = {10.1007/BFB0033835}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/GallardoGR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/GiacobazziS97, author = {Roberto Giacobazzi and Francesca Scozzari}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {Intuitionistic Implication in Abstract Interpretation}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, pages = {175--189}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033844}, doi = {10.1007/BFB0033844}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/GiacobazziS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/GiavittoVM97, author = {Jean{-}Louis Giavitto and Dominique De Vito and Olivier Michel}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {Semantics and Compilation of Recursive Sequential Streams in 8{\textonehalf}}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, pages = {207--223}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033846}, doi = {10.1007/BFB0033846}, timestamp = {Thu, 17 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/GiavittoVM97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Gregory97, author = {Steve Gregory}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {A Declarative Approach to Concurrent Programming}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, pages = {79--93}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033838}, doi = {10.1007/BFB0033838}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Gregory97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Hanus97, author = {Michael Hanus}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {Teaching Functional and Logic Programming with a Single Computational Model}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, pages = {335--350}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033854}, doi = {10.1007/BFB0033854}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Hanus97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/HerrmannL97, author = {Christoph A. Herrmann and Christian Lengauer}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {Transformation of Divide {\&} Conquer to Nested Parallel Loops}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, pages = {95--109}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033839}, doi = {10.1007/BFB0033839}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/HerrmannL97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/HuangSS97, author = {Zhiyi Huang and Chengzheng Sun and Abdul Sattar}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {Selective Recomputation for Handling Side-Effects in Parallel Logic Programs}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, pages = {275--289}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033850}, doi = {10.1007/BFB0033850}, timestamp = {Tue, 07 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/plilp/HuangSS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/JanousekM97, author = {Jan Janousek and Borivoj Melichar}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {Formal Translations Described by Translation Grammars with LR(k) Input Grammars}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, pages = {421--422}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033860}, doi = {10.1007/BFB0033860}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/JanousekM97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/JohanssonJLBM97, author = {Erik Johansson and Christer Jonsson and Thomas Lindgren and Johan Bevemyr and H{\aa}kan Millroth}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {A Pragmatic Approach to Compilation of Erlang}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, pages = {419--420}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033859}, doi = {10.1007/BFB0033859}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/JohanssonJLBM97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Lucas97, author = {Salvador Lucas}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {Transformations for Efficient Evaluations in Functional Programming}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, pages = {127--141}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033841}, doi = {10.1007/BFB0033841}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Lucas97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Mossin97, author = {Christian Mossin}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {Higher-Order Value Flow Graphs}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, pages = {159--173}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033843}, doi = {10.1007/BFB0033843}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Mossin97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/OgataF97, author = {Kazuhiro Ogata and Kokichi Futatsugi}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {Implementation of Term Rewritings with the Evaluation Strategy}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, pages = {225--239}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033847}, doi = {10.1007/BFB0033847}, timestamp = {Sat, 03 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/plilp/OgataF97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Patterson97, author = {Ross Paterson}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {Transforming Lazy Functions Using Comportment Properties}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, pages = {111--125}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033840}, doi = {10.1007/BFB0033840}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Patterson97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Roure97, author = {David De Roure}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {Introducing the Declarative Dungeon}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, pages = {407--417}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033858}, doi = {10.1007/BFB0033858}, timestamp = {Sat, 24 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/plilp/Roure97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Serrano97, author = {Manuel Serrano}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {Inline Expansion: When and How?}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, pages = {143--157}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033842}, doi = {10.1007/BFB0033842}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Serrano97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/SparudR97, author = {Jan Sparud and Colin Runciman}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {Tracing Lazy Functional Computations Using Redex Trails}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, pages = {291--308}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033851}, doi = {10.1007/BFB0033851}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/SparudR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Thompson97, author = {Simon J. Thompson}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {Where Do {I} Begin? {A} Problem Solving Approach in teaching Functional Programming}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, pages = {323--334}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033853}, doi = {10.1007/BFB0033853}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Thompson97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/WhittleBL97, author = {Jon Whittle and Alan Bundy and Helen Lowe}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {An Editor for Helping Novices to Learn Standard {ML}}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, pages = {389--405}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033857}, doi = {10.1007/BFB0033857}, timestamp = {Tue, 24 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/WhittleBL97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Xi97, author = {Hongwei Xi}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {Evaluation Under Lambda Abstraction}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, pages = {259--273}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033849}, doi = {10.1007/BFB0033849}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Xi97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/plilp/1997, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033832}, doi = {10.1007/BFB0033832}, isbn = {3-540-63398-7}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/1997.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Antoy96, author = {Sergio Antoy}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Needed Narrowing in Prolog (Extended Abstract)}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {473--474}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_106}, doi = {10.1007/3-540-61756-6\_106}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Antoy96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/AponteC96, author = {Maria{-}Virginia Aponte and Roberto Di Cosmo}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Type Isomorphisms for Module Signatures}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {334--346}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_95}, doi = {10.1007/3-540-61756-6\_95}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/AponteC96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Bagnara96, author = {Roberto Bagnara}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {A Reactive Implementation of Pos Using ROBDDs}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {107--121}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_80}, doi = {10.1007/3-540-61756-6\_80}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Bagnara96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BandaBH96, author = {Maria J. Garc{\'{\i}}a de la Banda and Francisco Bueno and Manuel V. Hermenegildo}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Towards Independent And-Parallelism in {CLP}}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {77--91}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_78}, doi = {10.1007/3-540-61756-6\_78}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/BandaBH96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BelleJM96, author = {Gianna Bell{\`{e}} and C. Barry Jay and Eugenio Moggi}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Functorial {ML}}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {32--46}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_75}, doi = {10.1007/3-540-61756-6\_75}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/BelleJM96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BenaissaLR96, author = {Zine{-}El{-}Abidine Benaissa and Pierre Lescanne and Kristoffer H{\o}gsbro Rose}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {393--407}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_99}, doi = {10.1007/3-540-61756-6\_99}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/BenaissaLR96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/DanvyV96, author = {Olivier Danvy and Ren{\'{e}} Vestergaard}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Semantics-Based Compiling: {A} Case Study in Type-Directed Partial Evaluation}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {182--197}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_85}, doi = {10.1007/3-540-61756-6\_85}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/DanvyV96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Fecht96, author = {Christian Fecht}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {An Efficient and Precise Sharing Domain for Logic Programs}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {469--470}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_104}, doi = {10.1007/3-540-61756-6\_104}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Fecht96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/FernandezM96, author = {Maribel Fern{\'{a}}ndez and Ian Mackie}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {From Term Rewriting to Generalised Interaction Nets}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {319--333}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_94}, doi = {10.1007/3-540-61756-6\_94}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/FernandezM96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/FrancescoS96, author = {Nicoletta De Francesco and Antonella Santone}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Unfold/Fold Transformations of Concurrent Processes}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {167--181}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_84}, doi = {10.1007/3-540-61756-6\_84}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/FrancescoS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/FreireSW96, author = {Juliana Freire and Terrance Swift and David Scott Warren}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {243--258}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_89}, doi = {10.1007/3-540-61756-6\_89}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/FreireSW96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/GalanPP96, author = {Luis A. Gal{\'{a}}n and Crist{\'{o}}bal Pareja and Ricardo Pena}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Functional Skeletons Generate Process Topologies in Eden}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {289--303}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_92}, doi = {10.1007/3-540-61756-6\_92}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/GalanPP96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/GehrkeH96, author = {Thomas Gehrke and Michaela Huhn}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {ProFun - {A} Language for Executable Specifications}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {304--318}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_93}, doi = {10.1007/3-540-61756-6\_93}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/GehrkeH96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/GluckJMS96, author = {Robert Gl{\"{u}}ck and Jesper J{\o}rgensen and Bern Martens and Morten Heine S{\o}rensen}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Controlling Conjunctive Partial Deduction}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {152--166}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_83}, doi = {10.1007/3-540-61756-6\_83}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/GluckJMS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Gorlatch96, author = {Sergei Gorlatch}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Systematic Extraction and Implementation of Divide-and-Conquer Parallelism}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {274--288}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_91}, doi = {10.1007/3-540-61756-6\_91}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Gorlatch96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Hamilton96, author = {Geoff W. Hamilton}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Higher Order Deforestation}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {213--227}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_87}, doi = {10.1007/3-540-61756-6\_87}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Hamilton96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/HuIT96, author = {Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Cheap Tupling in Calculational Form}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {471--472}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_105}, doi = {10.1007/3-540-61756-6\_105}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/HuIT96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Kahrs96, author = {Stefan Kahrs}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Limits of ML-Definability}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {17--31}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_74}, doi = {10.1007/3-540-61756-6\_74}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Kahrs96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/KamareddineR96, author = {Fairouz Kamareddine and Alejandro R{\'{\i}}os}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Generalized beta-Reduction and Explicit Substitution}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {378--392}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_98}, doi = {10.1007/3-540-61756-6\_98}, timestamp = {Wed, 28 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/KamareddineR96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Kessler96, author = {Christoph W. Ke{\ss}ler}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Scheduling Expression DAGs for Minimal Register Need}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {228--242}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_88}, doi = {10.1007/3-540-61756-6\_88}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Kessler96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/LeuschelS96, author = {Michael Leuschel and Danny De Schreye}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Logic Program Specialisation: How To Be More Specific}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {137--151}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_82}, doi = {10.1007/3-540-61756-6\_82}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/LeuschelS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Li96, author = {Xining Li}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Program Sharing: {A} New Implementation Approach for Prolog}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {259--273}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_90}, doi = {10.1007/3-540-61756-6\_90}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Li96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Liu96, author = {Mengchi Liu}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {The {LOL} Deductive Database Programming Language (Extended Abstract)}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {454--468}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_103}, doi = {10.1007/3-540-61756-6\_103}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Liu96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/LouvetR96, author = {Pascale Louvet and Olivier Ridoux}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Parametric Polymorphism for Typed Prolog and lambda-Prolog}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {47--61}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_76}, doi = {10.1007/3-540-61756-6\_76}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/LouvetR96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Lucas96, author = {Salvador Lucas}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Context-Sensitive Computations in Confluent Programs}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {408--422}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_100}, doi = {10.1007/3-540-61756-6\_100}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Lucas96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Mateos-LagoR96, author = {Joaqu{\'{\i}}n Mateos{-}Lago and Mario Rodr{\'{\i}}guez{-}Artalejo}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {{GOTA} Algebras: {A} Specification Formalism for Inheritance and Object Hierarchies}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {62--76}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_77}, doi = {10.1007/3-540-61756-6\_77}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Mateos-LagoR96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Meertens96, author = {Lambert G. L. T. Meertens}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Calculate Polytypically!}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {1--16}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_73}, doi = {10.1007/3-540-61756-6\_73}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Meertens96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/ParigotRJD96, author = {Didier Parigot and Gilles Roussel and Martin Jourdan and {\'{E}}tienne Duris}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Dynamic Attribute Grammars}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {122--136}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_81}, doi = {10.1007/3-540-61756-6\_81}, timestamp = {Mon, 06 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/plilp/ParigotRJD96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/PueblaH96, author = {Germ{\'{a}}n Puebla and Manuel V. Hermenegildo}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Automatic Optimization of Dynamic Scheduling in Logic Programs}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {475--476}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_107}, doi = {10.1007/3-540-61756-6\_107}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/PueblaH96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/RoyMS96, author = {Peter Van Roy and Michael Mehl and Ralf Scheidhauer}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Integrating Efficient Records into Concurrent Constraint Programming}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {438--453}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_102}, doi = {10.1007/3-540-61756-6\_102}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/RoyMS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Ruggieri96, author = {Salvatore Ruggieri}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Decidability of Logic Program Semantics and Applications to Testing}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {347--362}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_96}, doi = {10.1007/3-540-61756-6\_96}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Ruggieri96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Scholz96, author = {Enno Scholz}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {{PIDGETS} - Unifying Pictures and Widgets in a Constraint-Based Framework for Concurrent Functional {GUI} Programming}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {363--377}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_97}, doi = {10.1007/3-540-61756-6\_97}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Scholz96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Schulte96, author = {Christian Schulte}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Oz Explorer: {A} Visual Constraint Programming Tool}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {477--478}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_108}, doi = {10.1007/3-540-61756-6\_108}, timestamp = {Tue, 26 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/plilp/Schulte96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/StuckeyT96, author = {Peter J. Stuckey and Vincent W. L. Tam}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Models for Using Stochastic Constraint Solvers in Constraint Logic Programming}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {423--437}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_101}, doi = {10.1007/3-540-61756-6\_101}, timestamp = {Thu, 15 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/StuckeyT96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Thiemann96, author = {Peter Thiemann}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Implementing Memoization for Partial Evaluation}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {198--212}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_86}, doi = {10.1007/3-540-61756-6\_86}, timestamp = {Mon, 23 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/plilp/Thiemann96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/WeyerW96, author = {Geoffrey Weyer and William H. Winsborough}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Annotated Structure Shape Graphs for Abstract Analysis of Prolog}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {92--106}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_79}, doi = {10.1007/3-540-61756-6\_79}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/WeyerW96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/plilp/1996, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6}, doi = {10.1007/3-540-61756-6}, isbn = {3-540-61756-6}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/1996.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Achten95, author = {Peter Achten}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {A Functional Framework for Deterministically Interleaved Interactive Programs}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {451--452}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026835}, doi = {10.1007/BFB0026835}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Achten95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Arenas-SanchezD95, author = {Puri Arenas{-}S{\'{a}}nchez and Agostino Dovier}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {Minimal Set Unification}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {397--414}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026832}, doi = {10.1007/BFB0026832}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Arenas-SanchezD95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Arenas-SanchezG95, author = {Puri Arenas{-}S{\'{a}}nchez and Ana Gil{-}Luezas}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {A Debugging Model for Lazy Narrowing}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {453--454}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026836}, doi = {10.1007/BFB0026836}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Arenas-SanchezG95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BarendsenS95, author = {Erik Barendsen and Sjaak Smetsers}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {Uniqueness Type Inference}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {189--206}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026821}, doi = {10.1007/BFB0026821}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/BarendsenS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BurguesF95, author = {Xavier Burgu{\'{e}}s Illa and Xavier Franch}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {Evaluation of Expressions in a Multiparadigm Framework}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {455--456}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026837}, doi = {10.1007/BFB0026837}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/BurguesF95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/ButowGOT95, author = {Bernd B{\"{u}}tow and Robert Giegerich and Enno Ohlebusch and Stephan Thesing}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {A New Strategy for Semantic Matching}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {81--96}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026815}, doi = {10.1007/BFB0026815}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/ButowGOT95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/ChinK95, author = {Wei{-}Ngan Chin and Siau{-}Cheng Khoo}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {Better Consumers for Deforestation (Extended Abstract)}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {223--240}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026823}, doi = {10.1007/BFB0026823}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/ChinK95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/ColussiMM95, author = {Livio Colussi and Elena Marchiori and Massimo Marchiori}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {A Dataflow Semantics for Constraint Logic Programs}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {431--448}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026834}, doi = {10.1007/BFB0026834}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/ColussiMM95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/DawsonRR95, author = {Steven Dawson and C. R. Ramakrishnan and I. V. Ramakrishnan}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {Design and Implementation of Jump Tables for Fast Indexing of Logic Programs}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {133--150}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026818}, doi = {10.1007/BFB0026818}, timestamp = {Mon, 03 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/DawsonRR95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/DouenceF95, author = {R{\'{e}}mi Douence and Pascal Fradet}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {Towards a Taxonomy of Functional Languages Implementations}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {27--44}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026812}, doi = {10.1007/BFB0026812}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/DouenceF95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Fasbender95, author = {Heinz Fa{\ss}bender}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {A Verified Implementation of Narrowing}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {63--80}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026814}, doi = {10.1007/BFB0026814}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Fasbender95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/FreireHSW95, author = {Juliana Freire and Rui Hu and Terrance Swift and David Scott Warren}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {Exploiting Parallelism in Tabled Evaluations}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {115--132}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026817}, doi = {10.1007/BFB0026817}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/FreireHSW95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/GluckJ95, author = {Robert Gl{\"{u}}ck and Jesper J{\o}rgensen}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {Efficient Multi-level Generating Extensions for Program Specialization}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {259--278}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026825}, doi = {10.1007/BFB0026825}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/GluckJ95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/HansSW95, author = {Werner Hans and Fernando S{\'{a}}enz{-}P{\'{e}}rez and Stephan Winkler}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {An Expression-Or-Parallel Implementation for a Functional Logic Language}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {457--458}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026838}, doi = {10.1007/BFB0026838}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/HansSW95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Hatcliff95, author = {John Hatcliff}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {Mechanically Verifying the Correctness of an Offline Partial Evaluator}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {279--298}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026826}, doi = {10.1007/BFB0026826}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Hatcliff95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/HengleinS95, author = {Fritz Henglein and David Sands}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {A Semantic Model of Binding Times for Safe Partial Evaluation}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {299--320}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026827}, doi = {10.1007/BFB0026827}, timestamp = {Tue, 11 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/plilp/HengleinS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Jones95, author = {Mark P. Jones}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {Programming with Constructor Classes (Abstract)}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {26}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026811}, doi = {10.1007/BFB0026811}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Jones95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/KamareddineR95, author = {Fairouz Kamareddine and Alejandro R{\'{\i}}os}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {A Lambda-Calculus {\`{a}} la de Bruijn with Explicit Substitutions}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {45--62}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026813}, doi = {10.1007/BFB0026813}, timestamp = {Wed, 28 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/KamareddineR95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Marriott95, author = {Kim Marriott}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {Parsing Visual Languages with Constraint Multiset Grammars}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {24--25}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026810}, doi = {10.1007/BFB0026810}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Marriott95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/MasseyT95, author = {Barton C. Massey and Evan Tick}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {Modes of Comprehension: Mode Analysis of Arrays and Array Comprehensions}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {207--222}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026822}, doi = {10.1007/BFB0026822}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/MasseyT95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/McEvoyH95, author = {Hugh McEvoy and Pieter H. Hartel}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {Local Linear Logic for Locality Consciousness in Multiset Transformation}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {357--379}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026830}, doi = {10.1007/BFB0026830}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/McEvoyH95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/MehlSS95, author = {Michael Mehl and Ralf Scheidhauer and Christian Schulte}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {An Abstract Machine for Oz}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {151--168}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026819}, doi = {10.1007/BFB0026819}, timestamp = {Tue, 26 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/plilp/MehlSS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/MeristeP95, author = {Merik Meriste and Jaan Penjam}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {Attributed Models of Executable Specifications}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {459--460}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026839}, doi = {10.1007/BFB0026839}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/MeristeP95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Mohnen95, author = {Markus Mohnen}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {Efficient Compile-Time Garbage Collection for Arbitrary Data Structures}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {241--258}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026824}, doi = {10.1007/BFB0026824}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Mohnen95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Moor95, author = {Oege de Moor}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {A Generic Program for Sequential Decision Processes}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {1--23}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026809}, doi = {10.1007/BFB0026809}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Moor95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/MycroftS95, author = {Alan Mycroft and Kirsten Lackner Solberg}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {Uniform PERs and Comportment Analysis}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {169--187}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026820}, doi = {10.1007/BFB0026820}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/MycroftS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/NakaharaMI95, author = {Koichi Nakahara and Aart Middeldorp and Tetsuo Ida}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {A Complete Narrowing Calculus for Higher-Order Functional Logic Programming}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {97--114}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026816}, doi = {10.1007/BFB0026816}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/plilp/NakaharaMI95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/NobleR95, author = {Rob Noble and Colin Runciman}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {Gadgets: Lazy Functional Components for Graphical User Interfaces}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {321--340}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026828}, doi = {10.1007/BFB0026828}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/NobleR95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Rety95, author = {Jean{-}Hugues R{\'{e}}ty}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {The Notion of Floundering for SLDNF-Resolution Revisited}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {380--396}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026831}, doi = {10.1007/BFB0026831}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Rety95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/SaglamG95, author = {H{\"{u}}seyin Saglam and John P. Gallagher}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {Approximating Constraint Logic Programs Using Polymorphic Types and Regular Descriptions}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {461--462}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026840}, doi = {10.1007/BFB0026840}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/plilp/SaglamG95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/ShimajiriSI95, author = {Yuka Shimajiri and Hiroshi Seki and Hidenori Itoh}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {Goal-Directed Query Processing in Disjunctive Logic Databases}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {415--430}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026833}, doi = {10.1007/BFB0026833}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/ShimajiriSI95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/TongL95, author = {Bo{-}Ming Tong and Ho{-}fung Leung}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {Performance of {A} Data-Parallel Concurrent Constraint Programming System}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {463--464}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026841}, doi = {10.1007/BFB0026841}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/TongL95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/VullinghsTS95, author = {Ton Vullinghs and Daniel Tuinman and Wolfram Schulte}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {Lightweight GUIs for Functional Programming}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {341--356}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026829}, doi = {10.1007/BFB0026829}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/VullinghsTS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Wunderwald95, author = {Jens E. Wunderwald}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {A Portable Implementation of Memoing Evaluation}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, pages = {465--466}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026842}, doi = {10.1007/BFB0026842}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Wunderwald95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/plilp/95, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, title = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {982}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0026808}, doi = {10.1007/BFB0026808}, isbn = {3-540-60359-X}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Arenas-SanchezGL94, author = {Puri Arenas{-}S{\'{a}}nchez and Ana Gil{-}Luezas and Francisco Javier L{\'{o}}pez{-}Fraguas}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Combining Lazy Narrowing with Disequality Constraints}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {385--399}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_27}, doi = {10.1007/3-540-58402-1\_27}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Arenas-SanchezGL94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Barklund94, author = {Jonas Barklund}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Tabulation of Functions in Definite Clause Programs}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {465--466}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_40}, doi = {10.1007/3-540-58402-1\_40}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Barklund94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BelkhirN94, author = {Abdelkader Belkhir and Namick Nemouche}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Towards Integrating Functional and Logic Styles Using Relation}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {463--464}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_39}, doi = {10.1007/3-540-58402-1\_39}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/BelkhirN94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BevemyrL94, author = {Johan Bevemyr and Thomas Lindgren}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {A Simple and Efficient Copying Garbage Collector for Prolog}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {88--101}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_8}, doi = {10.1007/3-540-58402-1\_8}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/BevemyrL94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BirkedalW94, author = {Lars Birkedal and Morten Welinder}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Hand-Writing Program Generator Generators}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {198--214}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_15}, doi = {10.1007/3-540-58402-1\_15}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/BirkedalW94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BoulangerBD94, author = {Dmitri Boulanger and Maurice Bruynooghe and Marc Denecker}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Abstracting s-semantincs Using {A} Model-Theoretic Approach}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {432--446}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_30}, doi = {10.1007/3-540-58402-1\_30}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/plilp/BoulangerBD94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BreitingerL94, author = {Silvia Breitinger and Hendrik C. R. Lock}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Improving Search for Job-Shop Scheduling with {CLP(FD)}}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {277--291}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_20}, doi = {10.1007/3-540-58402-1\_20}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/BreitingerL94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BrogiCMMPRT94, author = {Antonio Brogi and A. Chiarelli and Paolo Mancarella and V. Mazzotta and Dino Pedreschi and Chiara Renso and Franco Turini}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Implementations of Program Composition Operations}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {292--307}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_21}, doi = {10.1007/3-540-58402-1\_21}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/BrogiCMMPRT94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Bsaies94, author = {Khaled Bsa{\"{\i}}es}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Implementing the Synthesis of Properties in Unfold/Fold Transformations}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {459--460}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_37}, doi = {10.1007/3-540-58402-1\_37}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Bsaies94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BugliesiJ94, author = {Michele Bugliesi and Hasan M. Jamil}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {A Logic for Encapsulation in Object Oriented Languages}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {215--229}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_16}, doi = {10.1007/3-540-58402-1\_16}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/BugliesiJ94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/ChikayamaFS94, author = {Takashi Chikayama and Tetsuro Fujise and Daigo Sekita}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {A Portable and Efficient Implementation of {KL1}}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {25--39}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_4}, doi = {10.1007/3-540-58402-1\_4}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/ChikayamaFS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/CodognetCLQ94, author = {Christian Codognet and Philippe Codognet and Vincenzo Loia and Michel Quaggetto}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Sleepers: {A} Versatile High-Level Control Mechanism}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {308--323}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_22}, doi = {10.1007/3-540-58402-1\_22}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/CodognetCLQ94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/CodognetD94, author = {Philippe Codognet and Daniel Diaz}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {244--260}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_18}, doi = {10.1007/3-540-58402-1\_18}, timestamp = {Fri, 10 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/plilp/CodognetD94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/FagesFS94, author = {Fran{\c{c}}ois Fages and Julian Fowler and Thierry Sola}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Handling Preferences in Constraint Logic Programming with Relational Optimization}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {261--276}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_19}, doi = {10.1007/3-540-58402-1\_19}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/FagesFS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/FieldT94, author = {John Field and Frank Tip}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {415--431}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_29}, doi = {10.1007/3-540-58402-1\_29}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/FieldT94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Fruhwirth94, author = {Thom W. Fr{\"{u}}hwirth}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Annotated Constraint Logic Programming Applied to Temporal Reasoning}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {230--243}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_17}, doi = {10.1007/3-540-58402-1\_17}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Fruhwirth94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/GergatsoulisK94, author = {Manolis Gergatsoulis and Maria Katzouraki}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Unfold/Fold Transformations For Definite Clause Programs}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {340--354}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_24}, doi = {10.1007/3-540-58402-1\_24}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/GergatsoulisK94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/GluckS94, author = {Robert Gl{\"{u}}ck and Morten Heine S{\o}rensen}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Partial Deduction and Driving are Equivalent}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {165--181}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_13}, doi = {10.1007/3-540-58402-1\_13}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/GluckS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Grivas94, author = {Georgios Grivas}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Towards a Constraint Functional Logic Compiler for Symbolic Computation Systems}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {455--456}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_35}, doi = {10.1007/3-540-58402-1\_35}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Grivas94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/HamelG94, author = {Lutz H. Hamel and Joseph A. Goguen}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Towards a Provably Correct Compiler for {OBJ3}}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {132--146}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_11}, doi = {10.1007/3-540-58402-1\_11}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/HamelG94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Hanus94, author = {Michael Hanus}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Combining Lazy Narrowing and Simplification}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {370--384}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_26}, doi = {10.1007/3-540-58402-1\_26}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Hanus94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/HundehegeLX94, author = {Johannes{-}Bernhard Hundehege and Wolfram{-}Manfred Lippe and U. Xanten}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Semantic-Based Static Program Transformations for Memory Space and Run Time Optimization in Hybrid Languages}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {453--454}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_34}, doi = {10.1007/3-540-58402-1\_34}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/HundehegeLX94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/JanssensBE94, author = {Gerda Janssens and Maurice Bruynooghe and Vincent Englebert}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Abstracting Numerical Values in CLP(H, {N)}}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {400--414}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_28}, doi = {10.1007/3-540-58402-1\_28}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/plilp/JanssensBE94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/KluzniakM94, author = {Feliks Kluzniak and Miroslawa Milkowska}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Readable, Runnable Requirements Specifications in {SPILL-2}}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {449--450}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_32}, doi = {10.1007/3-540-58402-1\_32}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/KluzniakM94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Leal94, author = {Jos{\'{e}} Paulo Leal}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {A System to Visualize and Interact with Prolog Programs}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {451--452}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_33}, doi = {10.1007/3-540-58402-1\_33}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Leal94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Mantsivoda94, author = {Andrei Mantsivoda}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Flang System: {A} new Version}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {467--468}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_41}, doi = {10.1007/3-540-58402-1\_41}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Mantsivoda94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/MaraistS94, author = {John Maraist and Frank S. K. Silbermann}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {A Graph Reduction Technique with Sharing across Narrowings for Functional-Logic Languages}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {355--369}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_25}, doi = {10.1007/3-540-58402-1\_25}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/MaraistS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/MetzemakersMSS94, author = {Timo Metzemakers and Alain Miniussi and David J. Sherman and Robert Strandh}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Improving Arithmetic Performance using Fine-Grain Unfolding}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {324--339}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_23}, doi = {10.1007/3-540-58402-1\_23}, timestamp = {Fri, 09 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/plilp/MetzemakersMSS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Miller94, author = {Dale Miller}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Specifications Using Multiple-Conclusion Logic Programs}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {3--4}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_2}, doi = {10.1007/3-540-58402-1\_2}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Miller94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/MoreauQ94, author = {Luc Moreau and Christian Queinnec}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Partial Continuations as the Difference of Continuations - {A} Duumvirate of Control Operators}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {182--197}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_14}, doi = {10.1007/3-540-58402-1\_14}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/plilp/MoreauQ94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Paige94, author = {Robert Paige}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Viewing {A} Program Transformation System At Work}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {5--24}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_3}, doi = {10.1007/3-540-58402-1\_3}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Paige94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Palamidessi94, author = {Catuscia Palamidessi}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Concurrent Constraint Programming}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {1--2}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_1}, doi = {10.1007/3-540-58402-1\_1}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Palamidessi94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Pettersson94, author = {Mikael Pettersson}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {{RML} - {A} New Language and Implementation for Natural Semantics}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {117--131}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_10}, doi = {10.1007/3-540-58402-1\_10}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Pettersson94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/RodriguesB94, author = {Odinaldo Rodrigues and Mario R. F. Benevides}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {{PROMAL} - Programming in Modal Action Logic}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {457--458}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_36}, doi = {10.1007/3-540-58402-1\_36}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/RodriguesB94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/SaenzHRW94, author = {Fernando S{\'{a}}enz{-}P{\'{e}}rez and Werner Hans and Jos{\'{e}} J. Ruz and Stephan Winkler}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Shared Memory System for Babel: a {VHDL} Specification}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {461--462}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_38}, doi = {10.1007/3-540-58402-1\_38}, timestamp = {Tue, 06 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/SaenzHRW94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Schulte94, author = {Wolfram Schulte}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Deriving Residual Reference Count Garbage Collectors}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {102--116}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_9}, doi = {10.1007/3-540-58402-1\_9}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Schulte94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Serrano94, author = {Manuel Serrano}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Using Higher-Order Control Flow Analysis When Compiling Functional Languages}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {447--448}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_31}, doi = {10.1007/3-540-58402-1\_31}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Serrano94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Smith94, author = {Donald A. Smith}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Why Multi-SLD Beats {SLD} (Even on a Uniprocessor)}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {40--56}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_5}, doi = {10.1007/3-540-58402-1\_5}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Smith94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/TarauN94, author = {Paul Tarau and Ulrich Neumerkel}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {A Novel Term Compression Scheme and Data Representation in the BinWAM}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {73--87}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_7}, doi = {10.1007/3-540-58402-1\_7}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/TarauN94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Voronkov94, author = {Andrei Voronkov}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {An Implementation Technique for a Class of Bottom-Up Procedures}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {147--164}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_12}, doi = {10.1007/3-540-58402-1\_12}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Voronkov94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/ZffanellaGL94, author = {Enea Zaffanella and Roberto Giacobazzi and Giorgio Levi}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Abstracting Synchronization in Concurrent Constraint Programming}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, pages = {57--72}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1\_6}, doi = {10.1007/3-540-58402-1\_6}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/ZffanellaGL94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/plilp/1994, editor = {Manuel V. Hermenegildo and Jaan Penjam}, title = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {844}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58402-1}, doi = {10.1007/3-540-58402-1}, isbn = {3-540-58402-1}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/1994.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/AliK93, author = {Khayri A. M. Ali and Roland Karlsson}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {A Novel Method for Parallel Implementation of \emph{findall}}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {235--245}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_82}, doi = {10.1007/3-540-57186-8\_82}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/plilp/AliK93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/AlpuenteFRV93, author = {Mar{\'{\i}}a Alpuente and Moreno Falaschi and Mar{\'{\i}}a Jos{\'{e}} Ramis and Germ{\'{a}}n Vidal}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {Narrowing Approximations as an Optimization for Equational Logic Programs}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {391--409}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_93}, doi = {10.1007/3-540-57186-8\_93}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/AlpuenteFRV93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/AltSW93, author = {Martin Helmut Alt and Georg Sander and Reinhard Wilhelm}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {Generation of Synchronization Code for Parallel Compilers}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {420--421}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_99}, doi = {10.1007/3-540-57186-8\_99}, timestamp = {Mon, 23 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/AltSW93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BarklundB93, author = {Jonas Barklund and Johan Bevemyr}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {Executing Bounded Quantifications on Shared Memory Multiprocessors}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {302--317}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_87}, doi = {10.1007/3-540-57186-8\_87}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/BarklundB93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BenjumeaT93, author = {Vicente Benjumea and Jos{\'{e}} M. Troya}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {An {OR} Parallel Prolog Model for Distributed Memory Systems}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {291--301}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_86}, doi = {10.1007/3-540-57186-8\_86}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/BenjumeaT93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Boye93, author = {Johan Boye}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {Avoiding Dynamic Delays in Functional Logic Programs}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {12--27}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_68}, doi = {10.1007/3-540-57186-8\_68}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Boye93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BugliesiN93, author = {Michele Bugliesi and Giuseppe Nardiello}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {SelfLog: Language and Implementation}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {412--413}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_95}, doi = {10.1007/3-540-57186-8\_95}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/BugliesiN93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BurnM93, author = {Geoffrey Livingston Burn and Daniel Le M{\'{e}}tayer}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {Proving the Correctness of Compiler Optimizations Based on Strictness Analysis}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {346--364}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_90}, doi = {10.1007/3-540-57186-8\_90}, timestamp = {Tue, 12 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/BurnM93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/CanaldaCDM93, author = {P. Canalda and L. Cognard and Annie Despland and Monique Mazaud}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {{PAGODE:} a Back End Generator}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {410--411}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_94}, doi = {10.1007/3-540-57186-8\_94}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/CanaldaCDM93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/ClarkH93, author = {David Clark and Chris Hankin}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {A Lattice of Abstract Graphs}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {318--331}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_88}, doi = {10.1007/3-540-57186-8\_88}, timestamp = {Thu, 29 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/plilp/ClarkH93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/CorsiniMRC93, author = {Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy and Baudouin Le Charlier}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {75--91}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_72}, doi = {10.1007/3-540-57186-8\_72}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/CorsiniMRC93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/DarlingtonGK93, author = {John Darlington and Yike Guo and Martin K{\"{o}}hler}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {Functional Programming Languages with Logical Variables: {A} Linear Logic View}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {201--219}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_80}, doi = {10.1007/3-540-57186-8\_80}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/DarlingtonGK93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Dikovsky93, author = {Alexander Ja. Dikovsky}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {Abstract Complexity of Prolog Based on {WAM}}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {365--377}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_91}, doi = {10.1007/3-540-57186-8\_91}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Dikovsky93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/DovierP93, author = {Agostino Dovier and Enrico Pontelli}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {A WAM-Based Implementation of a Logical Language with Sets}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {275--290}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_85}, doi = {10.1007/3-540-57186-8\_85}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/DovierP93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/HanusJ93, author = {Michael Hanus and Berthold Josephs}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {A Debugging Model for Functional Logic Programs}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {28--43}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_69}, doi = {10.1007/3-540-57186-8\_69}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/HanusJ93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/HogenL93, author = {Guido Hogen and Rita Loogen}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {Stack Management of Runtime Structures in Distributed Implementations}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {416--417}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_97}, doi = {10.1007/3-540-57186-8\_97}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/HogenL93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/JourdanBPR93, author = {Martin Jourdan and Carole Le Bellec and Didier Parigot and Gilles Roussel}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {Specification and Implementation of Grammar Couplings using Attribute Grammars}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {123--136}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_75}, doi = {10.1007/3-540-57186-8\_75}, timestamp = {Mon, 06 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/plilp/JourdanBPR93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/JourdanLMR93, author = {Martin Jourdan and Fabienne Lagnier and Florence Maraninchi and Pascal Raymond}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {Embedding Declarative Subprograms into Imperative Constructs}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {414--415}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_96}, doi = {10.1007/3-540-57186-8\_96}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/plilp/JourdanLMR93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/JourdanS93, author = {Jean Jourdan and Thierry Sola}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {The Versatility of Handling Disjunctions as Constraints}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {60--74}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_71}, doi = {10.1007/3-540-57186-8\_71}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/JourdanS93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Kagedal93, author = {Andreas K{\aa}gedal}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {Improvements in Compile-Time Analysis for Ground Prolog}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {92--107}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_73}, doi = {10.1007/3-540-57186-8\_73}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Kagedal93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Kaser93, author = {Owen Kaser}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {Inlining to Reduce Stack Space}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {262--274}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_84}, doi = {10.1007/3-540-57186-8\_84}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Kaser93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Kastens93, author = {Uwe Kastens}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {Executable Specifications for Language Implementation}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {1--11}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_67}, doi = {10.1007/3-540-57186-8\_67}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Kastens93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/KesslerR93, author = {Christoph W. Ke{\ss}ler and Thomas Rauber}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {Efficient Register Allocation for Large Basic Blocks}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {418--419}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_98}, doi = {10.1007/3-540-57186-8\_98}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/KesslerR93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Letichevsky93, author = {Alexander A. Letichevsky}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {Development of Rewriting Strategies}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {378--390}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_92}, doi = {10.1007/3-540-57186-8\_92}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Letichevsky93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/LimS93, author = {Pierre Lim and Joachim Schimpf}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {A Conservative Approach to Meta-Programming in Constraint Logic Programming}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {44--59}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_70}, doi = {10.1007/3-540-57186-8\_70}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/LimS93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/LoogenFR93, author = {Rita Loogen and Francisco Javier L{\'{o}}pez{-}Fraguas and Mario Rodr{\'{\i}}guez{-}Artalejo}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {A Demand Driven Computation Strategy for Lazy Narrowing}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {184--200}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_79}, doi = {10.1007/3-540-57186-8\_79}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/LoogenFR93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Mantsivoda93, author = {Andrei Mantsivoda}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {Flang and its Implementation}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {151--166}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_77}, doi = {10.1007/3-540-57186-8\_77}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Mantsivoda93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/MoolenaarD93, author = {Remco Moolenaar and Bart Demoen}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {A Parallel Implementation for {AKL}}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {246--261}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_83}, doi = {10.1007/3-540-57186-8\_83}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/MoolenaarD93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Moreno-NavarroKMWH93, author = {Juan Jos{\'{e}} Moreno{-}Navarro and Herbert Kuchen and Julio Mari{\~{n}}o{-}Carballo and Stephan Winkler and Werner Hans}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {Efficient Lazy Narrowing using Demandedness Analysis}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {167--183}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_78}, doi = {10.1007/3-540-57186-8\_78}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Moreno-NavarroKMWH93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/NataliO93, author = {Antonio Natali and Andrea Omicini}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {Objects with State in Contextual Logic Programming}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {220--234}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_81}, doi = {10.1007/3-540-57186-8\_81}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/NataliO93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Nederhof93, author = {Mark{-}Jan Nederhof}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {A New Top-Down Parsing Algorithm for Left-Recursive DCGs}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {108--122}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_74}, doi = {10.1007/3-540-57186-8\_74}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Nederhof93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Poetzsch-Heffter93, author = {Arnd Poetzsch{-}Heffter}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {Programming Language Specification and Prototyping Using the {MAX} System}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {137--150}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_76}, doi = {10.1007/3-540-57186-8\_76}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Poetzsch-Heffter93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Rosendahl93, author = {Mads Rosendahl}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {Higher-Order Chaotic Iteration Sequences}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {332--345}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_89}, doi = {10.1007/3-540-57186-8\_89}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Rosendahl93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/plilp/1993, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8}, doi = {10.1007/3-540-57186-8}, isbn = {3-540-57186-8}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/1993.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Alexandre92, author = {Francis Alexandre}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {A technique for Transforming Logic Programs by Fold-Unfold Transformations}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {202--216}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_137}, doi = {10.1007/3-540-55844-6\_137}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Alexandre92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/AlpuenteFM92, author = {Mar{\'{\i}}a Alpuente and Moreno Falaschi and Ferdinando Manzo}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {Analyses of Inconsistency for Incremental Equational Logic Programming}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {443--457}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_153}, doi = {10.1007/3-540-55844-6\_153}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/AlpuenteFM92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Amtoft92, author = {Torben Amtoft}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {Unfold/fold Transformations Preserving Termination Properties}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {187--201}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_136}, doi = {10.1007/3-540-55844-6\_136}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Amtoft92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/AptP92, author = {Krzysztof R. Apt and Alessandro Pellegrini}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {Why the Occur-Check is Not a Problem}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {69--86}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_128}, doi = {10.1007/3-540-55844-6\_128}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/AptP92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/AttaliCG92, author = {Isabelle Attali and Jacques Chazarain and Serge Gilette}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {Incremental Evaluation of Natural Semantics Specification}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {87--99}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_129}, doi = {10.1007/3-540-55844-6\_129}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/AttaliCG92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Barth92, author = {Peter Barth}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {CLP(PB), {A} Meta-Interpreter in {CLP(R)}}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {491--492}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_164}, doi = {10.1007/3-540-55844-6\_164}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Barth92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BarthelemyC92, author = {Fran{\c{c}}ois Barth{\'{e}}lemy and {\'{E}}ric Villemonte de la Clergerie}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {Subsumption-oriented Push-Down Automata}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {100--114}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_130}, doi = {10.1007/3-540-55844-6\_130}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/BarthelemyC92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BossiCE92, author = {Annalisa Bossi and Nicoletta Cocco and Sandro Etalle}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {On Safe Folding}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {172--186}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_135}, doi = {10.1007/3-540-55844-6\_135}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/BossiCE92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/CattrallR92, author = {Dave Cattrall and Colin Runciman}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {A Relational Programming System with Inferred Representations}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {475--476}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_156}, doi = {10.1007/3-540-55844-6\_156}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/CattrallR92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/CousotC92, author = {Patrick Cousot and Radhia Cousot}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {269--295}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_142}, doi = {10.1007/3-540-55844-6\_142}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/CousotC92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/DorochevskyV92, author = {Michel Dorochevsky and Andr{\'{e}} V{\'{e}}ron}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {Binding Techniques and Garbage Collection for OR-Parallel {CLP} Systems}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {39--53}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_126}, doi = {10.1007/3-540-55844-6\_126}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/DorochevskyV92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Ducasse92, author = {Mireille Ducass{\'{e}}}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {A General Trace Query Mechanism Based on Prolog}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {400--414}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_150}, doi = {10.1007/3-540-55844-6\_150}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Ducasse92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/EnglebertCRH92, author = {Vincent Englebert and Baudouin Le Charlier and Didier Roland and Pascal Van Hentenryck}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {Generic Abstract Interpretation Algorithms For Prolog: Tow Optimization Techniques and Their Experimental Evaluation}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {310--325}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_144}, doi = {10.1007/3-540-55844-6\_144}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/plilp/EnglebertCRH92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/GomardS92, author = {Carsten K. Gomard and Peter Sestoft}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {Path Analysis for Lazy Data Structures}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {54--68}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_127}, doi = {10.1007/3-540-55844-6\_127}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/GomardS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Hamel92, author = {Lutz H. Hamel}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {{UCG-E:} An Equational Logic Programming System}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {473--474}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_155}, doi = {10.1007/3-540-55844-6\_155}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Hamel92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Hans92, author = {Werner Hans}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {A Complete Indexing Scheme for WAM-based Abstract Machines}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {232--244}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_139}, doi = {10.1007/3-540-55844-6\_139}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Hans92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/HansLW92, author = {Werner Hans and Rita Loogen and Stephan Winkler}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {On the Interaction of Lazy Evaluation and Backtracking}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {355--369}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_147}, doi = {10.1007/3-540-55844-6\_147}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/HansLW92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Hanus92, author = {Michael Hanus}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {Improving Control of Logic Programs by Using Functional Logic Languages}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {1--23}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_124}, doi = {10.1007/3-540-55844-6\_124}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Hanus92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/HenrardC92, author = {Jean Henrard and Baudouin Le Charlier}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {{FOLON:} An Environment for Declarative Construction of Logic Programs}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {217--231}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_138}, doi = {10.1007/3-540-55844-6\_138}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/HenrardC92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Hoa92, author = {Alain Hui{-}Bon{-}Hoa}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {A Bottom-Up Interpreter for a Higher-Order Logic Programming Language}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {326--340}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_145}, doi = {10.1007/3-540-55844-6\_145}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Hoa92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Holzbaur92, author = {Christian Holzbaur}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {Metastructures versus Attributed Variables in the Context of Extensible Unification}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {260--268}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_141}, doi = {10.1007/3-540-55844-6\_141}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Holzbaur92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Kahrs92, author = {Stefan Kahrs}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {Unlimp, Uniqueness as a Leitmotiv for Implementation}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {115--129}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_131}, doi = {10.1007/3-540-55844-6\_131}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Kahrs92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/KamkarSF92, author = {Mariam Kamkar and Nahid Shahmehri and Peter Fritzson}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {Interprocedural Dynamic Slicing}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {370--384}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_148}, doi = {10.1007/3-540-55844-6\_148}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/KamkarSF92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/KrallB92, author = {Andreas Krall and Thomas Berger}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {Fast Prolog with VAM1p based Prolog Compiler}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {245--259}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_140}, doi = {10.1007/3-540-55844-6\_140}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/KrallB92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/KuchenMH92, author = {Herbert Kuchen and Juan Jos{\'{e}} Moreno{-}Navarro and Manuel V. Hermenegildo}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {Independent AND-Parallel Implementation of Narrowing}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {24--38}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_125}, doi = {10.1007/3-540-55844-6\_125}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/KuchenMH92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/LiG92, author = {Chu Min Li and Paul Y. Gloess}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {ProQuery: Logical Access to an {OODB}}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {487--488}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_162}, doi = {10.1007/3-540-55844-6\_162}, timestamp = {Mon, 21 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/LiG92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/LindstromMO92, author = {Gary Lindstrom and Jan Maluszynski and Takeshi Ogi}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {Our {LIPS} Are Sealed: Interfacing Functional and Logic Programming Systems}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {428--442}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_152}, doi = {10.1007/3-540-55844-6\_152}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/LindstromMO92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Moura92, author = {Hermano P. Moura}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {An Implementation of Action Semantics (Summaray)}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {477--478}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_157}, doi = {10.1007/3-540-55844-6\_157}, timestamp = {Fri, 22 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Moura92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Muck92, author = {Andy M{\"{u}}ck}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {{CAMEL:} An Extension of the Categorial Abstract Machine to Compile Functional/Logic Programs}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {341--354}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_146}, doi = {10.1007/3-540-55844-6\_146}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Muck92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/NilssonF92, author = {Henrik Nilsson and Peter Fritzson}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {Algorithmic Debugging for Lazy Functional Languages}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {385--399}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_149}, doi = {10.1007/3-540-55844-6\_149}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/NilssonF92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/PenningsSV92, author = {Maarten Pennings and S. Doaitse Swierstra and Harald Vogt}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {Using Cached Functions and Constructors for Incremental Attribute Evaluation}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {130--144}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_132}, doi = {10.1007/3-540-55844-6\_132}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/PenningsSV92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Plaza92, author = {Jan A. Plaza}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {Fully Declarative Logic Programming}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {415--427}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_151}, doi = {10.1007/3-540-55844-6\_151}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Plaza92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Rebelsky92, author = {Samuel A. Rebelsky}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {{I/O} Trees and Interactive Lazy Functional Programming}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {458--472}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_154}, doi = {10.1007/3-540-55844-6\_154}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Rebelsky92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Reus92, author = {Bernhard Reus}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {Implementing Higher-Order Functions in an Algebraic Specification Language with Narrowing}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {483--484}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_160}, doi = {10.1007/3-540-55844-6\_160}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Reus92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Rosendahl92, author = {Mads Rosendahl}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {Strictness Analysis for Attribute Grammars}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {145--157}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_133}, doi = {10.1007/3-540-55844-6\_133}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Rosendahl92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/SaidiB92, author = {Sadeph Saidi and Jean{-}Fran{\c{c}}ois Boulicaut}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {Checking and Debugging of Two-level Grammars}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {158--171}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_134}, doi = {10.1007/3-540-55844-6\_134}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/SaidiB92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/SolnonR92, author = {Christine Solnon and Michel Rueher}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {Inference of Inheritance Relationships from Prolog Programs: a System Developed with PrologIII}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {489--490}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_163}, doi = {10.1007/3-540-55844-6\_163}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/SolnonR92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Tarau92, author = {Paul Tarau}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {BinProlog: a Continuation Passing Style Prolog Engine}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {479--480}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_158}, doi = {10.1007/3-540-55844-6\_158}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Tarau92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Thiemann92, author = {Peter Thiemann}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {LaToKi: {A} Language Toolkit for Bottom-Up Evaluation of Functional Programs}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {481--482}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_159}, doi = {10.1007/3-540-55844-6\_159}, timestamp = {Mon, 23 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/plilp/Thiemann92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/VerschaetseS92, author = {Kristof Verschaetse and Danny De Schreye}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {Deriving of Linear Size Relations by Abstract Interpretation}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {296--310}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_143}, doi = {10.1007/3-540-55844-6\_143}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/VerschaetseS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Vilo92, author = {Jaak Vilo}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {Implementing Attribute Grammars by Computational Models}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {485--486}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_161}, doi = {10.1007/3-540-55844-6\_161}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Vilo92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/plilp/1992, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6}, doi = {10.1007/3-540-55844-6}, isbn = {3-540-55844-6}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/1992.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Aasa91, author = {Annika Aasa}, editor = {Jan Maluszynski and Martin Wirsing}, title = {Precedences in Specifications and Implementations of Programming Languages}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {183--194}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_98}, doi = {10.1007/3-540-54444-5\_98}, timestamp = {Fri, 17 Jul 2020 16:12:47 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Aasa91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Ait-KaciP91, author = {Hassan A{\"{\i}}t{-}Kaci and Andreas Podelski}, editor = {Jan Maluszynski and Martin Wirsing}, title = {Towards a Meaning of {LIFE}}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {255--274}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_104}, doi = {10.1007/3-540-54444-5\_104}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Ait-KaciP91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/AlpuenteF91, author = {Mar{\'{\i}}a Alpuente and Moreno Falaschi}, editor = {Jan Maluszynski and Martin Wirsing}, title = {Narrowing as an Incremental Constraint Satisfaction Algorithm}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {111--122}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_92}, doi = {10.1007/3-540-54444-5\_92}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/AlpuenteF91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Antoy91, author = {Sergio Antoy}, editor = {Jan Maluszynski and Martin Wirsing}, title = {Lazy Evaluation in Logic}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {371--382}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_113}, doi = {10.1007/3-540-54444-5\_113}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Antoy91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/AppelM91, author = {Andrew W. Appel and David B. MacQueen}, editor = {Jan Maluszynski and Martin Wirsing}, title = {Standard {ML} of New Jersey}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {1--13}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_83}, doi = {10.1007/3-540-54444-5\_83}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/AppelM91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/AttardiG91, author = {Giuseppe Attardi and Mauro Gaspari}, editor = {Jan Maluszynski and Martin Wirsing}, title = {Multilanguage Interoperability}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {429--430}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_122}, doi = {10.1007/3-540-54444-5\_122}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/AttardiG91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BaiardiB91, author = {Fabrizio Baiardi and D. M. Bella}, editor = {Jan Maluszynski and Martin Wirsing}, title = {An Architectural Model for OR-Parallelism on Distributed Memory Systems}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {87--98}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_90}, doi = {10.1007/3-540-54444-5\_90}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/plilp/BaiardiB91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BaumF91, author = {Beate Baum and Peter Forbrig}, editor = {Jan Maluszynski and Martin Wirsing}, title = {The System {FLR} (Fast Laboratory for Recomposition)}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {427--428}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_121}, doi = {10.1007/3-540-54444-5\_121}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/BaumF91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BorgerD91, author = {Egon B{\"{o}}rger and Bart Demoen}, editor = {Jan Maluszynski and Martin Wirsing}, title = {A Framework to Specify Database Update Views for Prolog}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {147--158}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_95}, doi = {10.1007/3-540-54444-5\_95}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/BorgerD91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Boye91, author = {Johan Boye}, editor = {Jan Maluszynski and Martin Wirsing}, title = {S-SLD-resolution - An Operational Semantics for Logic Programs with External Procedures}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {383--393}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_114}, doi = {10.1007/3-540-54444-5\_114}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Boye91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BrogiG91, author = {Antonio Brogi and Maurizio Gabbrielli}, editor = {Jan Maluszynski and Martin Wirsing}, title = {Constraints for Synchronizing Logic Coarse-grained Sequential Logic Processes}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {407--418}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_116}, doi = {10.1007/3-540-54444-5\_116}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/BrogiG91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/ChakravartyL91, author = {Manuel M. T. Chakravarty and Hendrik C. R. Lock}, editor = {Jan Maluszynski and Martin Wirsing}, title = {The Implementation of Lazy Narrowing}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {123--134}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_93}, doi = {10.1007/3-540-54444-5\_93}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/ChakravartyL91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/ChenW91, author = {Weidong Chen and David Scott Warren}, editor = {Jan Maluszynski and Martin Wirsing}, title = {Compilation of Predicate Abstractions in Higher-Order Logic Programming}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {287--298}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_106}, doi = {10.1007/3-540-54444-5\_106}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/ChenW91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/CheongF91, author = {P. H. Cheong and Laurent Fribourg}, editor = {Jan Maluszynski and Martin Wirsing}, title = {Efficient Integration of Simplifications into Prolog}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {359--370}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_112}, doi = {10.1007/3-540-54444-5\_112}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/CheongF91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/ConselK91, author = {Charles Consel and Siau{-}Cheng Khoo}, editor = {Jan Maluszynski and Martin Wirsing}, title = {Semantics-Directed Generation of a Prolog Compiler}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {135--146}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_94}, doi = {10.1007/3-540-54444-5\_94}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/ConselK91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Davison91, author = {Andrew Davison}, editor = {Jan Maluszynski and Martin Wirsing}, title = {From Parlog to Polka in two easy Steps}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {171--182}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_97}, doi = {10.1007/3-540-54444-5\_97}, timestamp = {Thu, 25 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Davison91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/ErtlK91, author = {M. Anton Ertl and Andreas Krall}, editor = {Jan Maluszynski and Martin Wirsing}, title = {Optimal Instruction Scheduling using Constraint Logic Programming}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {75--86}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_89}, doi = {10.1007/3-540-54444-5\_89}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/ErtlK91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Ferenczi91, author = {Szabolcs Ferenczi}, editor = {Jan Maluszynski and Martin Wirsing}, title = {Concepts for a Modular and Distributed Prolog Language}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {159--170}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_96}, doi = {10.1007/3-540-54444-5\_96}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Ferenczi91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/FileS91, author = {Gilberto Fil{\'{e}} and P. Sottero}, editor = {Jan Maluszynski and Martin Wirsing}, title = {Abstract Interpretation for Type Checking}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {311--322}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_108}, doi = {10.1007/3-540-54444-5\_108}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/FileS91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/FrausH91, author = {Ulrich Fraus and Heinrich Hu{\ss}mann}, editor = {Jan Maluszynski and Martin Wirsing}, title = {A Narrowing-Based Theorem Prover}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {421--422}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_118}, doi = {10.1007/3-540-54444-5\_118}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/FrausH91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/GiannottiH91, author = {Fosca Giannotti and Manuel V. Hermenegildo}, editor = {Jan Maluszynski and Martin Wirsing}, title = {A Technique for Recursive Invariance Detection and Selective Program Specification}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {323--334}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_109}, doi = {10.1007/3-540-54444-5\_109}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/GiannottiH91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Gloess91, author = {Paul Y. Gloess}, editor = {Jan Maluszynski and Martin Wirsing}, title = {U-Log, An Ordered Sorted Logic with Typed Attributes}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {275--286}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_105}, doi = {10.1007/3-540-54444-5\_105}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Gloess91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/GrahamK91, author = {T. C. Nicholas Graham and Gerd Kock}, editor = {Jan Maluszynski and Martin Wirsing}, title = {Domesticating Imperative Constructs So That They Can Live in a Functional World}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {51--62}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_87}, doi = {10.1007/3-540-54444-5\_87}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/GrahamK91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/HalbwachsRR91, author = {Nicolas Halbwachs and Pascal Raymond and Christophe Ratel}, editor = {Jan Maluszynski and Martin Wirsing}, title = {Generating Efficient Code From Data-Flow Programs}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {207--218}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_100}, doi = {10.1007/3-540-54444-5\_100}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/HalbwachsRR91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Hanus91, author = {Michael Hanus}, editor = {Jan Maluszynski and Martin Wirsing}, title = {The {ALF} System}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {423--424}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_119}, doi = {10.1007/3-540-54444-5\_119}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Hanus91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/HentenryckD91, author = {Pascal Van Hentenryck and Yves Deville}, editor = {Jan Maluszynski and Martin Wirsing}, title = {Operational Semantics of Constraint Logic Programming over Finite Domains}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {395--406}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_115}, doi = {10.1007/3-540-54444-5\_115}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/HentenryckD91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/KeslerPR91, author = {Christoph W. Ke{\ss}ler and Wolfgang J. Paul and Thomas Rauber}, editor = {Jan Maluszynski and Martin Wirsing}, title = {A Randomized Heuristic Approach to Register Allocation}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {195--206}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_99}, doi = {10.1007/3-540-54444-5\_99}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/KeslerPR91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/KosterB91, author = {Cornelis H. A. Koster and Jean Beney}, editor = {Jan Maluszynski and Martin Wirsing}, title = {On the Borderline Between Grammars and Programs}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {219--230}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_101}, doi = {10.1007/3-540-54444-5\_101}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/KosterB91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Kredel91, author = {Heinz Kredel}, editor = {Jan Maluszynski and Martin Wirsing}, title = {The {MAS} Specification Component}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {39--50}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_86}, doi = {10.1007/3-540-54444-5\_86}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Kredel91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/LangendoenV91, author = {Koen Langendoen and Willem G. Vree}, editor = {Jan Maluszynski and Martin Wirsing}, title = {{FRATS:} {A} Parallel Reduction Strategy for Shared Memory}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {99--110}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_91}, doi = {10.1007/3-540-54444-5\_91}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/LangendoenV91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/LegeardL91, author = {Bruno Legeard and Emmanuel Legros}, editor = {Jan Maluszynski and Martin Wirsing}, title = {Short Overview of the {CLPS} System}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {431--433}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_123}, doi = {10.1007/3-540-54444-5\_123}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/plilp/LegeardL91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/LoogenW91, author = {Rita Loogen and Stephan Winkler}, editor = {Jan Maluszynski and Martin Wirsing}, title = {Dynamic Detection of Determinism in Functional Languages}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {335--346}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_110}, doi = {10.1007/3-540-54444-5\_110}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/LoogenW91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Loyola91, author = {Diego G. Loyola}, editor = {Jan Maluszynski and Martin Wirsing}, title = {Extending Execution Trees for Debugging and Animation in Logic Programming}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {419--420}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_117}, doi = {10.1007/3-540-54444-5\_117}, timestamp = {Tue, 04 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Loyola91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Naish91, author = {Lee Naish}, editor = {Jan Maluszynski and Martin Wirsing}, title = {Adding equations to NU-Prolog}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {15--26}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_84}, doi = {10.1007/3-540-54444-5\_84}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Naish91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Nilsson91, author = {Ulf Nilsson}, editor = {Jan Maluszynski and Martin Wirsing}, title = {Abstract Interpretation: {A} Kind of Magic}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {299--309}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_107}, doi = {10.1007/3-540-54444-5\_107}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Nilsson91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Paakki91, author = {Jukka Paakki}, editor = {Jan Maluszynski and Martin Wirsing}, title = {{PROFIT:} {A} System Integrating Logic Programming and Attribute Grammars}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {243--254}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_103}, doi = {10.1007/3-540-54444-5\_103}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Paakki91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Poetzsch-Heffter91, author = {Arnd Poetzsch{-}Heffter}, editor = {Jan Maluszynski and Martin Wirsing}, title = {Logic-Based Specification of Visibility Rules}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {63--74}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_88}, doi = {10.1007/3-540-54444-5\_88}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Poetzsch-Heffter91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/ProiettiP91, author = {Maurizio Proietti and Alberto Pettorossi}, editor = {Jan Maluszynski and Martin Wirsing}, title = {Unfolding - Definition - Folding, in this Order, for Avaoiding Unnecessary Variables in Logic Programs}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {347--358}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_111}, doi = {10.1007/3-540-54444-5\_111}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/plilp/ProiettiP91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/VogtSK91, author = {Harald Vogt and S. Doaitse Swierstra and Matthijs F. Kuiper}, editor = {Jan Maluszynski and Martin Wirsing}, title = {Efficient Incremental Evaluation of Higher order Attribute Grammars}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {231--242}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_102}, doi = {10.1007/3-540-54444-5\_102}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/VogtSK91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Vollmer91, author = {J{\"{u}}rgen Vollmer}, editor = {Jan Maluszynski and Martin Wirsing}, title = {Experiences with Gentle: Efficient Compiler Construction Based On Logic Programming}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {425--426}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_120}, doi = {10.1007/3-540-54444-5\_120}, timestamp = {Fri, 22 Mar 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/plilp/Vollmer91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Yamasaki91, author = {Susumu Yamasaki}, editor = {Jan Maluszynski and Martin Wirsing}, title = {Extraction of Functional from Logic Program}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {27--38}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_85}, doi = {10.1007/3-540-54444-5\_85}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Yamasaki91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/plilp/91, editor = {Jan Maluszynski and Martin Wirsing}, title = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5}, doi = {10.1007/3-540-54444-5}, isbn = {3-540-54444-5}, timestamp = {Fri, 17 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Asperti90, author = {Andrea Asperti}, editor = {Pierre Deransart and Jan Maluszynski}, title = {Integrating Strict and Lazy Evaluation: The lambda-sl-Calculus}, booktitle = {Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {456}, pages = {238--254}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0024188}, doi = {10.1007/BFB0024188}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Asperti90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BoeckC90, author = {Pierre De Boeck and Baudouin Le Charlier}, editor = {Pierre Deransart and Jan Maluszynski}, title = {Static Type Analysis of Prolog Procedures for Ensuring Correctness}, booktitle = {Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {456}, pages = {222--237}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0024187}, doi = {10.1007/BFB0024187}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/BoeckC90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Bourdoncle90, author = {Fran{\c{c}}ois Bourdoncle}, editor = {Pierre Deransart and Jan Maluszynski}, title = {Interprocedural Abstract Interpretation of Block Structured Languages with Nested Procedures, Aliasing and Recursivity}, booktitle = {Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {456}, pages = {307--323}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0024192}, doi = {10.1007/BFB0024192}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Bourdoncle90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BowenJP90, author = {Jonathan P. Bowen and Jifeng He and Paritosh K. Pandya}, editor = {Pierre Deransart and Jan Maluszynski}, title = {An Approach to Verifiable Compiling Specification and Prototyping}, booktitle = {Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {456}, pages = {45--59}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0024175}, doi = {10.1007/BFB0024175}, timestamp = {Mon, 21 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/plilp/BowenJP90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BrogiMPT90, author = {Antonio Brogi and Paolo Mancarella and Dino Pedreschi and Franco Turini}, editor = {Pierre Deransart and Jan Maluszynski}, title = {Logic Programming within a Functional Framework}, booktitle = {Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {456}, pages = {372--386}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0024196}, doi = {10.1007/BFB0024196}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/BrogiMPT90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/DumortierB90, author = {Veroniek Dumortier and Maurice Bruynooghe}, editor = {Pierre Deransart and Jan Maluszynski}, title = {On the Automatic Generation of Events in Delta Prolog}, booktitle = {Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {456}, pages = {324--339}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0024193}, doi = {10.1007/BFB0024193}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/DumortierB90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Ferdinand90, author = {Christian Ferdinand}, editor = {Pierre Deransart and Jan Maluszynski}, title = {Pattern Matching in a Functional Transformation Language using Treeparsing}, booktitle = {Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {456}, pages = {358--371}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0024195}, doi = {10.1007/BFB0024195}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Ferdinand90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Fribourg90, author = {Laurent Fribourg}, editor = {Pierre Deransart and Jan Maluszynski}, title = {A New Presburger Arithmetic Decision Procedure Based on Extended Prolog Execution}, booktitle = {Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {456}, pages = {174--188}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0024184}, doi = {10.1007/BFB0024184}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Fribourg90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/GroschS90, author = {Franz{-}Josef Grosch and Gregor Snelting}, editor = {Pierre Deransart and Jan Maluszynski}, title = {Inference-Based Overloading Resolution for {ADA}}, booktitle = {Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {456}, pages = {30--44}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0024174}, doi = {10.1007/BFB0024174}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/GroschS90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Hanus90, author = {Michael Hanus}, editor = {Pierre Deransart and Jan Maluszynski}, title = {Compiling Logic Programs with Equality}, booktitle = {Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {456}, pages = {387--400}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0024197}, doi = {10.1007/BFB0024197}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Hanus90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Huitouze90, author = {Serge Le Huitouze}, editor = {Pierre Deransart and Jan Maluszynski}, title = {A New Data Structure for Implementing Extensions to Prolog}, booktitle = {Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {456}, pages = {136--150}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0024181}, doi = {10.1007/BFB0024181}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Huitouze90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Jaakola90, author = {Juhani Jaakola}, editor = {Pierre Deransart and Jan Maluszynski}, title = {Modifying the Simplex Algorithm to a Constraint Solver}, booktitle = {Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {456}, pages = {89--105}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0024178}, doi = {10.1007/BFB0024178}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Jaakola90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/KamkarNF90, author = {Mariam Kamkar and Nahid Shahmehri and Peter Fritzson}, editor = {Pierre Deransart and Jan Maluszynski}, title = {Bug Localization by Algorithmic Debugging and Program Slicing}, booktitle = {Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {456}, pages = {60--74}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0024176}, doi = {10.1007/BFB0024176}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/KamkarNF90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/KirchnerV90, author = {Claude Kirchner and Patrick Viry}, editor = {Pierre Deransart and Jan Maluszynski}, title = {Implementing Parallel Rewriting}, booktitle = {Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {456}, pages = {1--15}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0024172}, doi = {10.1007/BFB0024172}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/KirchnerV90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/KrallN90, author = {Andreas Krall and Ulrich Neumerkel}, editor = {Pierre Deransart and Jan Maluszynski}, title = {The Vienna Abstract Machine}, booktitle = {Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {456}, pages = {121--135}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0024180}, doi = {10.1007/BFB0024180}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/KrallN90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Leroy90, author = {Xavier Leroy}, editor = {Pierre Deransart and Jan Maluszynski}, title = {Efficient Data Representation in Polymorphic Languages}, booktitle = {Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {456}, pages = {255--276}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0024189}, doi = {10.1007/BFB0024189}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Leroy90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/LimM90, author = {Pierre Lim and David N. Morley}, editor = {Pierre Deransart and Jan Maluszynski}, title = {Implementing a Meta-Logical Scheme}, booktitle = {Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {456}, pages = {106--120}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0024179}, doi = {10.1007/BFB0024179}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/LimM90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/LimS90, author = {Pierre Lim and Peter J. Stuckey}, editor = {Pierre Deransart and Jan Maluszynski}, title = {A Constraint Logic Programming Shell}, booktitle = {Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {456}, pages = {75--88}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0024177}, doi = {10.1007/BFB0024177}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/LimS90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/MasonT90, author = {Ian A. Mason and Carolyn L. Talcott}, editor = {Pierre Deransart and Jan Maluszynski}, title = {Reasoning About Programs with Effects}, booktitle = {Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {456}, pages = {189--203}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0024185}, doi = {10.1007/BFB0024185}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/MasonT90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Muck90, author = {Andy M{\"{u}}ck}, editor = {Pierre Deransart and Jan Maluszynski}, title = {Compilation of Narrowing}, booktitle = {Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {456}, pages = {16--29}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0024173}, doi = {10.1007/BFB0024173}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Muck90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Nilsson90, author = {Ulf Nilsson}, editor = {Pierre Deransart and Jan Maluszynski}, title = {Systematic Semantic Approximations of Logic Programs}, booktitle = {Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {456}, pages = {293--306}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0024191}, doi = {10.1007/BFB0024191}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Nilsson90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Queinnec90, author = {Christian Queinnec}, editor = {Pierre Deransart and Jan Maluszynski}, title = {Compilation of Non-Linear, Second Order Patterns on S-Expressions}, booktitle = {Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {456}, pages = {340--357}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0024194}, doi = {10.1007/BFB0024194}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Queinnec90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/SagivFRW90, author = {Shmuel Sagiv and Nissim Francez and Michael Rodeh and Reinhard Wilhelm}, editor = {Pierre Deransart and Jan Maluszynski}, title = {A Logic-Based Approach to Data Flow Analysis Problem}, booktitle = {Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {456}, pages = {277--292}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0024190}, doi = {10.1007/BFB0024190}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/SagivFRW90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Sahlin90, author = {Dan Sahlin}, editor = {Pierre Deransart and Jan Maluszynski}, title = {Finding the Least Fixed Point Using Wait-Declarations in Prolog}, booktitle = {Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {456}, pages = {151--158}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0024182}, doi = {10.1007/BFB0024182}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Sahlin90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/TarauB90, author = {Paul Tarau and Michel Boyer}, editor = {Pierre Deransart and Jan Maluszynski}, title = {Elementary Logic Programs}, booktitle = {Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {456}, pages = {159--173}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0024183}, doi = {10.1007/BFB0024183}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/TarauB90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/WangS90, author = {Bal Wang and R. K. Shyamasundar}, editor = {Pierre Deransart and Jan Maluszynski}, title = {Towards a Characterization of Termination of Logic Programs}, booktitle = {Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {456}, pages = {204--221}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0024186}, doi = {10.1007/BFB0024186}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/WangS90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/plilp/1990, editor = {Pierre Deransart and Jan Maluszynski}, title = {Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {456}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0024171}, doi = {10.1007/BFB0024171}, isbn = {3-540-53010-X}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/1990.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/plilp/1988, editor = {Pierre Deransart and Bernard Lorho and Jan Maluszynski}, title = {Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orl{\'{e}}ans, France, May 16-18, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {348}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-50820-1}, doi = {10.1007/3-540-50820-1}, isbn = {3-540-50820-1}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/1988.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/AsirelliI88, author = {Patrizia Asirelli and Paola Inverardi}, editor = {Pierre Deransart and Bernard Lorho and Jan Maluszynski}, title = {Using Logic Databases in Software Development Environments}, booktitle = {Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orl{\'{e}}ans, France, May 16-18, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {348}, pages = {292--299}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-50820-1\_54}, doi = {10.1007/3-540-50820-1\_54}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/plilp/AsirelliI88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Attali88, author = {Isabelle Attali}, editor = {Pierre Deransart and Bernard Lorho and Jan Maluszynski}, title = {Compiling {TYPOL} with Attribute Grammars}, booktitle = {Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orl{\'{e}}ans, France, May 16-18, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {348}, pages = {252--272}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-50820-1\_51}, doi = {10.1007/3-540-50820-1\_51}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Attali88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BarbutiM88, author = {Roberto Barbuti and Maurizio Martelli}, editor = {Pierre Deransart and Bernard Lorho and Jan Maluszynski}, title = {A Tool to Check the Non-Floundering Logic Programs and Goals}, booktitle = {Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orl{\'{e}}ans, France, May 16-18, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {348}, pages = {58--67}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-50820-1\_40}, doi = {10.1007/3-540-50820-1\_40}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/BarbutiM88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/BonnierM88, author = {Staffan Bonnier and Jan Maluszynski}, editor = {Pierre Deransart and Bernard Lorho and Jan Maluszynski}, title = {Towards a Clean Amalgamation of Logic Programs with External Procedures}, booktitle = {Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orl{\'{e}}ans, France, May 16-18, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {348}, pages = {20--34}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-50820-1\_38}, doi = {10.1007/3-540-50820-1\_38}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/BonnierM88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Christiansen88, author = {Henning Christiansen}, editor = {Pierre Deransart and Bernard Lorho and Jan Maluszynski}, title = {Structure Sharing in Attribute Grammars}, booktitle = {Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orl{\'{e}}ans, France, May 16-18, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {348}, pages = {180--200}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-50820-1\_48}, doi = {10.1007/3-540-50820-1\_48}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Christiansen88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Dang88, author = {Weidong Dang}, editor = {Pierre Deransart and Bernard Lorho and Jan Maluszynski}, title = {Formal Specification of Interactive Languages Using Definite Clause Grammars}, booktitle = {Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orl{\'{e}}ans, France, May 16-18, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {348}, pages = {283--291}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-50820-1\_53}, doi = {10.1007/3-540-50820-1\_53}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Dang88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/DeransartM88, author = {Pierre Deransart and Jan Maluszynski}, editor = {Pierre Deransart and Bernard Lorho and Jan Maluszynski}, title = {A Grammatical View of Logic Programming}, booktitle = {Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orl{\'{e}}ans, France, May 16-18, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {348}, pages = {219--251}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-50820-1\_50}, doi = {10.1007/3-540-50820-1\_50}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/DeransartM88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/DesplandMR88, author = {Annie Despland and Monique Mazaud and Raymond Rakotozafy}, editor = {Pierre Deransart and Bernard Lorho and Jan Maluszynski}, title = {An Implementation of Retargetable Code Generators in Prolog}, booktitle = {Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orl{\'{e}}ans, France, May 16-18, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {348}, pages = {83--104}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-50820-1\_42}, doi = {10.1007/3-540-50820-1\_42}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/DesplandMR88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Hanus88, author = {Michael Hanus}, editor = {Pierre Deransart and Bernard Lorho and Jan Maluszynski}, title = {Formal Specification of a Prolog Compiler}, booktitle = {Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orl{\'{e}}ans, France, May 16-18, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {348}, pages = {273--282}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-50820-1\_52}, doi = {10.1007/3-540-50820-1\_52}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Hanus88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Henriques88, author = {Pedro Rangel Henriques}, editor = {Pierre Deransart and Bernard Lorho and Jan Maluszynski}, title = {A Semantic Evaluator Generating System in Prolog}, booktitle = {Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orl{\'{e}}ans, France, May 16-18, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {348}, pages = {201--218}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-50820-1\_49}, doi = {10.1007/3-540-50820-1\_49}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/plilp/Henriques88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/KluzniakM88, author = {Feliks Kluzniak and Miroslawa Milkowska}, editor = {Pierre Deransart and Bernard Lorho and Jan Maluszynski}, title = {Towards a "Middle Road" Methodology for Writing Code Generators}, booktitle = {Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orl{\'{e}}ans, France, May 16-18, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {348}, pages = {105--118}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-50820-1\_43}, doi = {10.1007/3-540-50820-1\_43}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/KluzniakM88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Lindstrom88, author = {Gary Lindstrom}, editor = {Pierre Deransart and Bernard Lorho and Jan Maluszynski}, title = {Static Analysis Of Functional Programs With Logic Variables}, booktitle = {Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orl{\'{e}}ans, France, May 16-18, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {348}, pages = {1--19}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-50820-1\_37}, doi = {10.1007/3-540-50820-1\_37}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Lindstrom88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Monin88, author = {Jean{-}Fran{\c{c}}ois Monin}, editor = {Pierre Deransart and Bernard Lorho and Jan Maluszynski}, title = {A Compiler Written in Prolog: The V{\'{e}}da Experience}, booktitle = {Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orl{\'{e}}ans, France, May 16-18, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {348}, pages = {119--131}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-50820-1\_44}, doi = {10.1007/3-540-50820-1\_44}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Monin88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Nilsson88, author = {Ulf Nilsson}, editor = {Pierre Deransart and Bernard Lorho and Jan Maluszynski}, title = {Towards a Framework for the Abstract Interpretation of Logic Programs}, booktitle = {Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orl{\'{e}}ans, France, May 16-18, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {348}, pages = {68--82}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-50820-1\_41}, doi = {10.1007/3-540-50820-1\_41}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Nilsson88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/RiedewaldL88, author = {G{\"{u}}nter Riedewald and Uwe L{\"{a}}mmel}, editor = {Pierre Deransart and Bernard Lorho and Jan Maluszynski}, title = {Using an Attribute Grammar as a Logic Program}, booktitle = {Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orl{\'{e}}ans, France, May 16-18, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {348}, pages = {161--179}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-50820-1\_47}, doi = {10.1007/3-540-50820-1\_47}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/RiedewaldL88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/SchreyeB88, author = {Danny De Schreye and Maurice Bruynooghe}, editor = {Pierre Deransart and Bernard Lorho and Jan Maluszynski}, title = {An Application of Abstract Interpretation in Source Level Program Transformation}, booktitle = {Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orl{\'{e}}ans, France, May 16-18, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {348}, pages = {35--57}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-50820-1\_39}, doi = {10.1007/3-540-50820-1\_39}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/SchreyeB88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Voisin88, author = {Fr{\'{e}}d{\'{e}}ric Voisin}, editor = {Pierre Deransart and Bernard Lorho and Jan Maluszynski}, title = {A Bottom-Up Adaption of Earley's Parsing Algorithm}, booktitle = {Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orl{\'{e}}ans, France, May 16-18, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {348}, pages = {146--160}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-50820-1\_46}, doi = {10.1007/3-540-50820-1\_46}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Voisin88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/YamashitaN88, author = {Yoshiyuki Yamashita and Ikuo Nakata}, editor = {Pierre Deransart and Bernard Lorho and Jan Maluszynski}, title = {Coupled Contex-Free Grammar As a Programming Paradigm}, booktitle = {Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orl{\'{e}}ans, France, May 16-18, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {348}, pages = {132--145}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-50820-1\_45}, doi = {10.1007/3-540-50820-1\_45}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/YamashitaN88.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.