Search dblp for Publications

export results for "toc:db/conf/ppdp/ppdp2002.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ppdp/AnconaLZ02,
  author       = {Davide Ancona and
                  Giovanni Lagorio and
                  Elena Zucca},
  title        = {True separate compilation of Java classes},
  booktitle    = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
                  Principles and practice of declarative programming, October 6-8, 2002,
                  Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
  pages        = {189--200},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/571157.571177},
  doi          = {10.1145/571157.571177},
  timestamp    = {Tue, 06 Nov 2018 16:57:25 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/AnconaLZ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/BessonLJ02,
  author       = {Fr{\'{e}}d{\'{e}}ric Besson and
                  Thomas de Grenier de Latour and
                  Thomas P. Jensen},
  title        = {Secure calling contexts for stack inspection},
  booktitle    = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
                  Principles and practice of declarative programming, October 6-8, 2002,
                  Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
  pages        = {76--87},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/571157.571166},
  doi          = {10.1145/571157.571166},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/BessonLJ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/BlancE02,
  author       = {J{\'{e}}r{\'{e}}mie Blanc and
                  Rachid Echahed},
  title        = {A generic operator over discrete time intervals},
  booktitle    = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
                  Principles and practice of declarative programming, October 6-8, 2002,
                  Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
  pages        = {145--155},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/571157.571172},
  doi          = {10.1145/571157.571172},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/BlancE02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/BozzanoD02,
  author       = {Marco Bozzano and
                  Giorgio Delzanno},
  title        = {Automated protocol verification in linear logic},
  booktitle    = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
                  Principles and practice of declarative programming, October 6-8, 2002,
                  Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
  pages        = {38--49},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/571157.571162},
  doi          = {10.1145/571157.571162},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/BozzanoD02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Chen02,
  author       = {Gang Chen},
  title        = {Full integration of subtyping and if-expression},
  booktitle    = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
                  Principles and practice of declarative programming, October 6-8, 2002,
                  Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
  pages        = {181--188},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/571157.571176},
  doi          = {10.1145/571157.571176},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/Chen02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/DrapeMS02,
  author       = {Stephen Drape and
                  Oege de Moor and
                  Ganesh Sittampalam},
  title        = {Transforming the .NET intermediate language using path logic programming},
  booktitle    = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
                  Principles and practice of declarative programming, October 6-8, 2002,
                  Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
  pages        = {133--144},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/571157.571171},
  doi          = {10.1145/571157.571171},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/DrapeMS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Fiore02,
  author       = {Marcelo P. Fiore},
  title        = {Semantic analysis of normalisation by evaluation for typed lambda
                  calculus},
  booktitle    = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
                  Principles and practice of declarative programming, October 6-8, 2002,
                  Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
  pages        = {26--37},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/571157.571161},
  doi          = {10.1145/571157.571161},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/Fiore02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/FissoreGK02,
  author       = {Olivier Fissore and
                  Isabelle Gnaedig and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {System Presentation -- {CARIBOO:} An induction based proof tool for
                  termination with strategies},
  booktitle    = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
                  Principles and practice of declarative programming, October 6-8, 2002,
                  Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
  pages        = {62--73},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/571157.571164},
  doi          = {10.1145/571157.571164},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/FissoreGK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/GramlichL02,
  author       = {Bernhard Gramlich and
                  Salvador Lucas},
  title        = {Modular termination of context-sensitive rewriting},
  booktitle    = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
                  Principles and practice of declarative programming, October 6-8, 2002,
                  Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
  pages        = {50--61},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/571157.571163},
  doi          = {10.1145/571157.571163},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/GramlichL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/HiguchiO02,
  author       = {Tomoyuki Higuchi and
                  Atsushi Ohori},
  title        = {Java bytecode as a typed term calculus},
  booktitle    = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
                  Principles and practice of declarative programming, October 6-8, 2002,
                  Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
  pages        = {201--211},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/571157.571178},
  doi          = {10.1145/571157.571178},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/HiguchiO02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/JonesG02,
  author       = {Neil D. Jones and
                  Arne J. Glenstrup},
  title        = {Abstract and conclusions of {PLI} invited paper: program generation,
                  termination, and binding-time analysis},
  booktitle    = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
                  Principles and practice of declarative programming, October 6-8, 2002,
                  Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/571157.571158},
  doi          = {10.1145/571157.571158},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/JonesG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/LagoonS02,
  author       = {Vitaly Lagoon and
                  Peter J. Stuckey},
  title        = {Precise pair-sharing analysis of logic programs},
  booktitle    = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
                  Principles and practice of declarative programming, October 6-8, 2002,
                  Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
  pages        = {99--108},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/571157.571168},
  doi          = {10.1145/571157.571168},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/LagoonS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/NielsenPV02,
  author       = {Mogens Nielsen and
                  Catuscia Palamidessi and
                  Frank D. Valencia},
  title        = {On the expressive power of temporal concurrent constraint programming
                  languages},
  booktitle    = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
                  Principles and practice of declarative programming, October 6-8, 2002,
                  Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
  pages        = {156--167},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/571157.571173},
  doi          = {10.1145/571157.571173},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/NielsenPV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/OstrovskyPT02,
  author       = {Karol Ostrovsky and
                  K. V. S. Prasad and
                  Walid Taha},
  title        = {Towards a primitive higher order calculus of broadcasting systems},
  booktitle    = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
                  Principles and practice of declarative programming, October 6-8, 2002,
                  Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
  pages        = {2--13},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/571157.571159},
  doi          = {10.1145/571157.571159},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/OstrovskyPT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/OvertonSS02,
  author       = {David Overton and
                  Zoltan Somogyi and
                  Peter J. Stuckey},
  title        = {Constraint-based mode analysis of mercury},
  booktitle    = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
                  Principles and practice of declarative programming, October 6-8, 2002,
                  Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
  pages        = {109--120},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/571157.571169},
  doi          = {10.1145/571157.571169},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/OvertonSS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Palamidessi02,
  author       = {Catuscia Palamidessi},
  title        = {Mobile calculi for distributed programming},
  booktitle    = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
                  Principles and practice of declarative programming, October 6-8, 2002,
                  Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
  pages        = {74--75},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/571157.571165},
  doi          = {10.1145/571157.571165},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/Palamidessi02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/PembeciNH02,
  author       = {Izzet Pembeci and
                  Henrik Nilsson and
                  Gregory D. Hager},
  title        = {Functional reactive robotics: an exercise in principled integration
                  of domain-specific languages},
  booktitle    = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
                  Principles and practice of declarative programming, October 6-8, 2002,
                  Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
  pages        = {168--179},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/571157.571174},
  doi          = {10.1145/571157.571174},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/PembeciNH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/SchrijversD02,
  author       = {Tom Schrijvers and
                  Bart Demoen},
  title        = {Combining an improvement to {PARMA} trailing with trailing analysis},
  booktitle    = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
                  Principles and practice of declarative programming, October 6-8, 2002,
                  Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
  pages        = {88--98},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/571157.571167},
  doi          = {10.1145/571157.571167},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/SchrijversD02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Shafarenko02,
  author       = {Alexander V. Shafarenko},
  title        = {Coercion as homomorphism: type inference in a system with subtyping
                  and overloading},
  booktitle    = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
                  Principles and practice of declarative programming, October 6-8, 2002,
                  Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
  pages        = {14--25},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/571157.571160},
  doi          = {10.1145/571157.571160},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/Shafarenko02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/SomogyiS02,
  author       = {Zoltan Somogyi and
                  Peter J. Stuckey},
  title        = {Using the heap to eliminate stack accesses},
  booktitle    = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
                  Principles and practice of declarative programming, October 6-8, 2002,
                  Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
  pages        = {121--132},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/571157.571170},
  doi          = {10.1145/571157.571170},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/SomogyiS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/SztipanovitsK02,
  author       = {Janos Sztipanovits and
                  Gabor Karsai},
  title        = {Generative programming for embedded systems},
  booktitle    = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
                  Principles and practice of declarative programming, October 6-8, 2002,
                  Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
  pages        = {180--180},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/571157.571175},
  doi          = {10.1145/571157.571175},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/SztipanovitsK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ppdp/2002,
  title        = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
                  Principles and practice of declarative programming, October 6-8, 2002,
                  Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/571157},
  doi          = {10.1145/571157},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/2002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.