Abstract is missing.
- Abstract and conclusions of PLI invited paper: program generation, termination, and binding-time analysisNeil D. Jones, Arne J. Glenstrup. 1 [doi]
- Towards a primitive higher order calculus of broadcasting systemsKarol Ostrovsky, K. V. S. Prasad, Walid Taha. 2-13 [doi]
- Coercion as homomorphism: type inference in a system with subtyping and overloadingAlexander V. Shafarenko. 14-25 [doi]
- Semantic analysis of normalisation by evaluation for typed lambda calculusMarcelo P. Fiore. 26-37 [doi]
- Automated protocol verification in linear logicMarco Bozzano, Giorgio Delzanno. 38-49 [doi]
- Modular termination of context-sensitive rewritingBernhard Gramlich, Salvador Lucas. 50-61 [doi]
- System Presentation -- CARIBOO: An induction based proof tool for termination with strategiesOlivier Fissore, Isabelle Gnaedig, Hélène Kirchner. 62-73 [doi]
- Mobile calculi for distributed programmingCatuscia Palamidessi. 74-75 [doi]
- Secure calling contexts for stack inspectionFrédéric Besson, Thomas de Grenier de Latour, Thomas P. Jensen. 76-87 [doi]
- Combining an improvement to PARMA trailing with trailing analysisTom Schrijvers, Bart Demoen. 88-98 [doi]
- Precise pair-sharing analysis of logic programsVitaly Lagoon, Peter J. Stuckey. 99-108 [doi]
- Constraint-based mode analysis of mercuryDavid Overton, Zoltan Somogyi, Peter J. Stuckey. 109-120 [doi]
- Using the heap to eliminate stack accessesZoltan Somogyi, Peter J. Stuckey. 121-132 [doi]
- Transforming the .NET intermediate language using path logic programmingStephen Drape, Oege de Moor, Ganesh Sittampalam. 133-144 [doi]
- A generic operator over discrete time intervalsJérémie Blanc, Rachid Echahed. 145-155 [doi]
- On the expressive power of temporal concurrent constraint programming languagesMogens Nielsen, Catuscia Palamidessi, Frank D. Valencia. 156-167 [doi]
- Functional reactive robotics: an exercise in principled integration of domain-specific languagesIzzet Pembeci, Henrik Nilsson, Gregory D. Hager. 168-179 [doi]
- Generative programming for embedded systemsJanos Sztipanovits, Gabor Karsai. 180-180 [doi]
- Full integration of subtyping and if-expressionGang Chen. 181-188 [doi]
- True separate compilation of Java classesDavide Ancona, Giovanni Lagorio, Elena Zucca. 189-200 [doi]
- Java bytecode as a typed term calculusTomoyuki Higuchi, Atsushi Ohori. 201-211 [doi]