PPDP 2002: Pittsburgh, PA, USA

• 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
  

Last update Thu May 23 03:00:24 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page