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