Abstract is missing.
- Invited talk: towards declarative programming for web servicesSheila A. McIlraith. 1-2 [doi]
- Offline partial evaluation for shift and resetKenichi Asai. 3-14 [doi]
- Representation-based just-in-time specialization and the psyco prototype for pythonArmin Rigo. 15-26 [doi]
- Declarative specialization for object-oriented-program specializationHelle Markmann Andersen, Ulrik Pagh Schultz. 27-38 [doi]
- Component specializationGustavo J. Bobeff, Jacques Noyé. 39-50 [doi]
- Invited application paper: re-engineering C++ components via automatic program transformationRobert L. Akers, Ira D. Baxter, Michael Mehlich. 51-55 [doi]
- Invited application paper: a proposal for the specialization of HA/DRE systemsGary Daugherty. 56-67 [doi]
- Invited application paper: program generation considered easySam Kamin. 68-79 [doi]
- Invited application paper: language design for implementing process scheduling hierarchiesJulia L. Lawall, Gilles Muller, Hervé Duchesne. 80-91 [doi]
- Program generators and the tools to make themYannis Smaragdakis, Shan Shan Huang, David Zook. 92-100 [doi]
- Fusion with stacks and accumulating parametersSusumu Nishimura. 101-112 [doi]
- Imperative program optimization by partial evaluationSøren Debois. 113-122 [doi]
- Dynamic slicing based on redex trailsClaudio Ochoa, Josep Silva, Germán Vidal. 123-134 [doi]
- A type system for resource protocol verification and its correctness proofCorneliu Popeea, Wei-Ngan Chin. 135-146 [doi]
- Proving termination of membership equational programsFrancisco Durán, Salvador Lucas, José Meseguer, Claude Marché, Xavier Urbain. 147-158 [doi]
- A theory of totally correct logic program transformationsAlberto Pettorossi, Maurizio Proietti. 159-168 [doi]
- Program transformations for portable CPU accounting and control in JavaJarle Hulaas, Walter Binder. 169-177 [doi]
- A programmable editor for developing structured documents based on bidirectional transformationsZhenjiang Hu, Shin-Cheng Mu, Masato Takeichi. 178-189 [doi]
- Efficient and flexible access control via logic program specialisationSteve Barker, Michael Leuschel, Mauricio Varea. 190-199 [doi]
- Invited talk: injecting life with computersEhud Y. Shapiro. 200 [doi]
- Invited talk: the blast query language for software verificationDirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar. 201-202 [doi]
- Invited talk: what s the future for proof-carrying code?J. Gregory Morrisett. 203 [doi]