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