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/ppdp/ppdp2003.bht:"
download as .bib file
@inproceedings{DBLP:conf/ppdp/AgerBDM03,
author = {Mads Sig Ager and
Dariusz Biernacki and
Olivier Danvy and
Jan Midtgaard},
title = {A functional correspondence between evaluators and abstract machines},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {8--19},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888254},
doi = {10.1145/888251.888254},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/AgerBDM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/AntoyBH03,
author = {Sergio Antoy and
Bernd Brassel and
Michael Hanus},
title = {Conditional narrowing without conditions},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {20--31},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888255},
doi = {10.1145/888251.888255},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/AntoyBH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BandaSW03,
author = {Maria J. Garc{\'{\i}}a de la Banda and
Peter J. Stuckey and
Jeremy Wazny},
title = {Finding all minimal unsatisfiable subsets},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {32--43},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888256},
doi = {10.1145/888251.888256},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/BandaSW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BanyasadC03,
author = {Omid Banyasad and
Philip T. Cox},
title = {On translating geometric solids to functional expressions},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {44--55},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888257},
doi = {10.1145/888251.888257},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/BanyasadC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Blanchet03,
author = {Bruno Blanchet},
title = {Automatic verification of cryptographic protocols: a logic programming
approach},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {1--3},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888252},
doi = {10.1145/888251.888252},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Blanchet03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/CameronBMM03,
author = {M. Cameron and
Maria J. Garc{\'{\i}}a de la Banda and
Kim Marriott and
Peter Moulder},
title = {ViMer: a visual debugger for mercury},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {56--66},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888258},
doi = {10.1145/888251.888258},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/CameronBMM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Damiani03,
author = {Ferruccio Damiani},
title = {Rank 2 intersection types for modules},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {67--78},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888259},
doi = {10.1145/888251.888259},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Damiani03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/DuckSBH03,
author = {Gregory J. Duck and
Peter J. Stuckey and
Maria J. Garc{\'{\i}}a de la Banda and
Christian Holzbaur},
title = {Extending arbitrary solvers with constraint handling rules},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {79--90},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888260},
doi = {10.1145/888251.888260},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/DuckSBH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/EchahedPS03,
author = {Rachid Echahed and
Fr{\'{e}}d{\'{e}}ric Prost and
Wendelin Serwe},
title = {Statically assuring secrecy for dynamic concurrent processes},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {91--101},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888261},
doi = {10.1145/888251.888261},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/EchahedPS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/EncinaP03,
author = {Alberto de la Encina and
Ricardo Pena},
title = {Formally deriving an {STG} machine},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {102--112},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888262},
doi = {10.1145/888251.888262},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/EncinaP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Escobar03,
author = {Santiago Escobar},
title = {Refining weakly outermost-needed rewriting and narrowing},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {113--123},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888263},
doi = {10.1145/888251.888263},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Escobar03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/FissoreGK03,
author = {Olivier Fissore and
Isabelle Gnaedig and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Simplification and termination of strategies in rule-based languages},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {124--135},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888264},
doi = {10.1145/888251.888264},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/FissoreGK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/GrecoZ03,
author = {Sergio Greco and
Ester Zumpano},
title = {On the rewriting and efficient computation of bound disjunctive datalog
queries},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {136--147},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888265},
doi = {10.1145/888251.888265},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/GrecoZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Hamana03,
author = {Makoto Hamana},
title = {Term rewriting with variable binding: an initial algebra approach},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {148--159},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888266},
doi = {10.1145/888251.888266},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Hamana03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/HirschowitzLW03,
author = {Tom Hirschowitz and
Xavier Leroy and
J. B. Wells},
title = {Compilation of extended recursion in call-by-value functional languages},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {160--171},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888267},
doi = {10.1145/888251.888267},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/HirschowitzLW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/LiuS03,
author = {Yanhong A. Liu and
Scott D. Stoller},
title = {From datalog rules to efficient programs with time and space guarantees},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {172--183},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888268},
doi = {10.1145/888251.888268},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/LiuS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/MiculanS03,
author = {Marino Miculan and
Ivan Scagnetto},
title = {A framework for typed {HOAS} and semantics},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {184--194},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888269},
doi = {10.1145/888251.888269},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/MiculanS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/NadathurQ03,
author = {Gopalan Nadathur and
Xiaochu Qi},
title = {Explicit substitutions in the reduction of lambda terms},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {195--206},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888270},
doi = {10.1145/888251.888270},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/NadathurQ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Nanevski03,
author = {Aleksandar Nanevski},
title = {From dynamic binding to state via modal possibility},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {207--218},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888271},
doi = {10.1145/888251.888271},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Nanevski03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/NielsenK03,
author = {Mogens Nielsen and
Karl Krukow},
title = {Towards a formal notion of trust},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {4--7},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888253},
doi = {10.1145/888251.888253},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/NielsenK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/PaluDPR03,
author = {Alessandro Dal Pal{\`{u}} and
Agostino Dovier and
Enrico Pontelli and
Gianfranco Rossi},
title = {Integrating finite domain constraints and {CLP} with sets},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {219--229},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888272},
doi = {10.1145/888251.888272},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/PaluDPR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/PopeN03,
author = {Bernard J. Pope and
Lee Naish},
title = {Practical aspects of declarative debugging in Haskell 98},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {230--240},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888273},
doi = {10.1145/888251.888273},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/PopeN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Rossberg03,
author = {Andreas Rossberg},
title = {Generativity and dynamic opacity for abstract types},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {241--252},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888274},
doi = {10.1145/888251.888274},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Rossberg03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Virseda03,
author = {Rafael del Vado V{\'{\i}}rseda},
title = {A demand-driven narrowing calculus with overlapping definitional trees},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {253--263},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888275},
doi = {10.1145/888251.888275},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Virseda03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/WuAS03,
author = {Dinghao Wu and
Andrew W. Appel and
Aaron Stump},
title = {Foundational proof checkers with small witnesses},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {264--274},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888276},
doi = {10.1145/888251.888276},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/WuAS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/ZhouS03,
author = {Neng{-}Fa Zhou and
Taisuke Sato},
title = {Efficient fixpoint computation in linear tabling},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {275--283},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888277},
doi = {10.1145/888251.888277},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/ZhouS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2003,
title = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
publisher = {{ACM}},
year = {2003},
isbn = {1-58113-705-2},
timestamp = {Thu, 08 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/2003.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-29 17:53 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:
