Verona, Italy Nevin Heintze, Peter Sestoft (Eds.):
Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004.
ACM 2004, ISBN 1-58113-835-0
Last update Fri May 24 15:12:55 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page
- Sheila A. McIlraith:
Invited talk: towards declarative programming for web services.
- Kenichi Asai:
Offline partial evaluation for shift and reset.
- Armin Rigo:
Representation-based just-in-time specialization and the psyco prototype for python.
- Helle Markmann Andersen, Ulrik Pagh Schultz:
Declarative specialization for object-oriented-program specialization.
- Gustavo J. Bobeff, Jacques Noyé:
- Robert L. Akers, Ira D. Baxter, Michael Mehlich:
Invited application paper: re-engineering C++ components via automatic program transformation.
- Gary Daugherty:
Invited application paper: a proposal for the specialization of HA/DRE systems.
- Sam Kamin:
Invited application paper: program generation considered easy.
- Julia L. Lawall, Gilles Muller, Hervé Duchesne:
Invited application paper: language design for implementing process scheduling hierarchies.
- Yannis Smaragdakis, Shan Shan Huang, David Zook:
Program generators and the tools to make them.
- Susumu Nishimura:
Fusion with stacks and accumulating parameters.
- Søren Debois:
Imperative program optimization by partial evaluation.
- Claudio Ochoa, Josep Silva, Germán Vidal:
Dynamic slicing based on redex trails.
- Corneliu Popeea, Wei-Ngan Chin:
A type system for resource protocol verification and its correctness proof.
- Francisco Durán, Salvador Lucas, José Meseguer, Claude Marché, Xavier Urbain:
Proving termination of membership equational programs.
- Alberto Pettorossi, Maurizio Proietti:
A theory of totally correct logic program transformations.
- Jarle Hulaas, Walter Binder:
Program transformations for portable CPU accounting and control in Java.
- Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi:
A programmable editor for developing structured documents based on bidirectional transformations.
- Steve Barker, Michael Leuschel, Mauricio Varea:
Efficient and flexible access control via logic program specialisation.
- Ehud Y. Shapiro:
Invited talk: injecting life with computers.
- J. Gregory Morrisett:
Invited talk: what's the future for proof-carrying code?
- Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Invited talk: the blast query language for software verification.