default search action
Search dblp for Publications
export results for "toc:db/conf/ppdp/ppdp2003.bht:"
@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 = {Sun, 04 Aug 2024 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} }
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.