![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
PPDP 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
![](https://dblp.org/img/cog.dark.24x24.png)
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.