PPDP 2007: Wroclaw, Poland

Session 1

• Nick Benton, Uri Zarfaty:
  Formalizing and verifying semantic type soundness of a simple compiler. 1-12
  
• William C. Benton, Charles N. Fischer:
  Interactive, scalable, declarative program analysis: from prototype to implementation. 13-24
  
• Leslie De Koninck, Tom Schrijvers, Bart Demoen:
  User-definable rule priorities for CHR. 25-36
  

Session 2

• Konstantinos F. Sagonas:
  Detecting defects in Erlang programs using static analysis. 37
  
• Salvador Lucas:
  Practical use of polynomials over the reals in proofs of termination. 39-50
  
• Christian Skalka:
  Type safe dynamic linking for JVM access control. 51-62
  

Session 3

• Sebastian Fischer, Herbert Kuchen:
  Systematic generation of glass-box test cases for functional logic programs. 63-74
  
• James Cheney, Alberto Momigliano:
  Mechanized metatheory model-checking. 75-86
  
• Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann:
  Relational semantics for effect-based program transformations with dynamic allocation. 87-96
  
• Makoto Hamana:
  Higher-order semantic labelling for inductive datatype systems. 97-108
  

Session 4

• Alberto de la Encina, Luis Llana, Fernando Rubio, Mercedes Hidalgo-Herrero:
  Observing intermediate structures in a parallel lazy functional language. 109-120
  
• Sergio Antoy, Bernd Braßel:
  Computing with subspaces. 121-130
  

Session 5

• Musab AlTurki, José Meseguer:
  Real-time rewriting semantics of orc. 131-142
  
• Brad Lushman, Gordon V. Cormack:
  A larger decidable semiunification problem. 143-152
  

Session 6

• Josh Berdine:
  Local reasoning about storable locks. 153
  
• Michael Hanus:
  Putting declarative programming into the web: translating curry to javascript. 155-166
  
• Isabelle Gnaedig:
  Induction for positive almost sure termination. 167-178
  

Session 7

• Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo:
  Unfolding in CHR. 179-186
  
• Chongbing Liu, Enrico Pontelli:
  Nonmonotonic inductive logic programming by instance patterns. 187-196
  
• Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández:
  A simple rewrite notion for call-time choice semantics. 197-208
  

Session 8

• Witold Charatonik:
  Regular directional types for logic programs. 209
  
• Katia Hristova, K. Tuncay Tekle, Yanhong A. Liu:
  Efficient trust management policy analysis from rules. 211-220
  
• Roberto M. Amadio, Frédéric Dabrowski:
  Feasible reactivity in a synchronous Pi-calculus. 221-230