PPDP 2002: Pittsburgh, PA, USA

@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)},
  booktitle = {PPDP},
  publisher = {ACM},
  year      = {2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Neil D. Jones, Arne J. Glenstrup:
  Abstract and conclusions of PLI invited paper: program generation, termination, and binding-time analysis. 1
  Electronic Edition (ACM DL) BibTeX
• Karol Ostrovsky, K. V. S. Prasad, Walid Taha:
  Towards a primitive higher order calculus of broadcasting systems. 2-13
  Electronic Edition (ACM DL) BibTeX
• Alexander V. Shafarenko:
  Coercion as homomorphism: type inference in a system with subtyping and overloading. 14-25
  Electronic Edition (ACM DL) BibTeX
• Marcelo P. Fiore:
  Semantic analysis of normalisation by evaluation for typed lambda calculus. 26-37
  Electronic Edition (ACM DL) BibTeX
• Marco Bozzano, Giorgio Delzanno:
  Automated protocol verification in linear logic. 38-49
  Electronic Edition (ACM DL) BibTeX
• Bernhard Gramlich, Salvador Lucas:
  Modular termination of context-sensitive rewriting. 50-61
  Electronic Edition (ACM DL) BibTeX
• Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner:
  System Presentation -- CARIBOO: An induction based proof tool for termination with strategies. 62-73
  Electronic Edition (ACM DL) BibTeX
• Catuscia Palamidessi:
  Mobile calculi for distributed programming. 74-75
  Electronic Edition (ACM DL) BibTeX
• Frédéric Besson, Thomas de Grenier de Latour, Thomas P. Jensen:
  Secure calling contexts for stack inspection. 76-87
  Electronic Edition (ACM DL) BibTeX
• Tom Schrijvers, Bart Demoen:
  Combining an improvement to PARMA trailing with trailing analysis. 88-98
  Electronic Edition (ACM DL) BibTeX
• Vitaly Lagoon, Peter J. Stuckey:
  Precise pair-sharing analysis of logic programs. 99-108
  Electronic Edition (ACM DL) BibTeX
• David Overton, Zoltan Somogyi, Peter J. Stuckey:
  Constraint-based mode analysis of mercury. 109-120
  Electronic Edition (ACM DL) BibTeX
• Zoltan Somogyi, Peter J. Stuckey:
  Using the heap to eliminate stack accesses. 121-132
  Electronic Edition (ACM DL) BibTeX
• Stephen Drape, Oege de Moor, Ganesh Sittampalam:
  Transforming the .NET intermediate language using path logic programming. 133-144
  Electronic Edition (ACM DL) BibTeX
• Jérémie Blanc, Rachid Echahed:
  A generic operator over discrete time intervals. 145-155
  Electronic Edition (ACM DL) BibTeX
• Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia:
  On the expressive power of temporal concurrent constraint programming languages. 156-167
  Electronic Edition (ACM DL) BibTeX
• Izzet Pembeci, Henrik Nilsson, Gregory D. Hager:
  Functional reactive robotics: an exercise in principled integration of domain-specific languages. 168-179
  Electronic Edition (ACM DL) BibTeX
• Janos Sztipanovits, Gabor Karsai:
  Generative programming for embedded systems. 180-180
  Electronic Edition (ACM DL) BibTeX
• Gang Chen:
  Full integration of subtyping and if-expression. 181-188
  Electronic Edition (ACM DL) BibTeX
• Davide Ancona, Giovanni Lagorio, Elena Zucca:
  True separate compilation of Java classes. 189-200
  Electronic Edition (ACM DL) BibTeX
• Tomoyuki Higuchi, Atsushi Ohori:
  Java bytecode as a typed term calculus. 201-211
  Electronic Edition (ACM DL) BibTeX