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/plilp90.bht:"
download as .bib file
@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 = {Mon, 03 Jan 2022 00:00:00 +0100},
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}
}
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-07 13:01 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:
