Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/plilp/plilp94.bht:"
download as .bib file
@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 = {Mon, 03 Jan 2022 00:00:00 +0100},
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 = {Fri, 19 May 2017 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}
}
a service of 
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.
retrieved on 2024-05-05 10:05 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
