ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation (PEPM 2004)

Verona, Italy
August 24-25, 2004

Program

Sheila A. McIlraith
"Invited talk: towards declarative programming for web services"
ACM Digital Library

Kenichi Asai
"Offline partial evaluation for shift and reset"
ACM Digital Library

Armin Rigo
"Representation-based just-in-time specialization and the psyco prototype for python"
ACM Digital Library

Helle Markmann Andersen and Ulrik Pagh Schultz
"Declarative specialization for object-oriented-program specialization"
ACM Digital Library

Gustavo J. Bobeff and Jacques Noyé
"Component specialization"
ACM Digital Library

Robert L. Akers, Ira D. Baxter and Michael Mehlich
"Invited application paper: re-engineering C++ components via automatic program transformation"
ACM Digital Library

Gary Daugherty
"Invited application paper: a proposal for the specialization of HA/DRE systems"
ACM Digital Library

Sam Kamin
"Invited application paper: program generation considered easy"
ACM Digital Library

Julia L. Lawall, Gilles Muller and Hervé Duchesne
"Invited application paper: language design for implementing process scheduling hierarchies"
ACM Digital Library

Yannis Smaragdakis, Shan Shan Huang and David Zook
"Program generators and the tools to make them"
ACM Digital Library

Susumu Nishimura
"Fusion with stacks and accumulating parameters"
ACM Digital Library

Søren Debois
"Imperative program optimization by partial evaluation"
ACM Digital Library

Claudio Ochoa, Josep Silva and Germán Vidal
"Dynamic slicing based on redex trails"
ACM Digital Library

Corneliu Popeea and Wei-Ngan Chin
"A type system for resource protocol verification and its correctness proof"
ACM Digital Library

Francisco Durán, Salvador Lucas, José Meseguer, Claude Marché and Xavier Urbain
"Proving termination of membership equational programs"
ACM Digital Library

Alberto Pettorossi and Maurizio Proietti
"A theory of totally correct logic program transformations"
ACM Digital Library

Jarle Hulaas and Walter Binder
"Program transformations for portable CPU accounting and control in Java"
ACM Digital Library

Zhenjiang Hu, Shin-Cheng Mu and Masato Takeichi
"A programmable editor for developing structured documents based on bidirectional transformations"
ACM Digital Library

Steve Barker, Michael Leuschel and Mauricio Varea
"Efficient and flexible access control via logic program specialisation"
ACM Digital Library

Ehud Y. Shapiro
"Invited talk: injecting life with computers"
ACM Digital Library

J. Gregory Morrisett
"Invited talk: what's the future for proof-carrying code?"
ACM Digital Library

Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala and Rupak Majumdar
"Invited talk: the blast query language for software verification"
ACM Digital Library