ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation (PEPM 2004)Verona, Italy
August 24-25, 2004
ProgramSheila A. McIlraith
"Invited talk: towards declarative programming for web services"
ACM Digital LibraryKenichi Asai
"Offline partial evaluation for shift and reset"
ACM Digital LibraryArmin Rigo
"Representation-based just-in-time specialization and the psyco prototype for python"
ACM Digital LibraryHelle Markmann Andersen and Ulrik Pagh Schultz
"Declarative specialization for object-oriented-program specialization"
ACM Digital LibraryGustavo J. Bobeff and Jacques Noyé
ACM Digital LibraryRobert L. Akers, Ira D. Baxter and Michael Mehlich
"Invited application paper: re-engineering C++ components via automatic program transformation"
ACM Digital LibraryGary Daugherty
"Invited application paper: a proposal for the specialization of HA/DRE systems"
ACM Digital LibrarySam Kamin
"Invited application paper: program generation considered easy"
ACM Digital LibraryJulia L. Lawall, Gilles Muller and Hervé Duchesne
"Invited application paper: language design for implementing process scheduling hierarchies"
ACM Digital LibraryYannis Smaragdakis, Shan Shan Huang and David Zook
"Program generators and the tools to make them"
ACM Digital LibrarySusumu Nishimura
"Fusion with stacks and accumulating parameters"
ACM Digital LibrarySøren Debois
"Imperative program optimization by partial evaluation"
ACM Digital LibraryClaudio Ochoa, Josep Silva and Germán Vidal
"Dynamic slicing based on redex trails"
ACM Digital LibraryCorneliu Popeea and Wei-Ngan Chin
"A type system for resource protocol verification and its correctness proof"
ACM Digital LibraryFrancisco Durán, Salvador Lucas, José Meseguer, Claude Marché and Xavier Urbain
"Proving termination of membership equational programs"
ACM Digital LibraryAlberto Pettorossi and Maurizio Proietti
"A theory of totally correct logic program transformations"
ACM Digital LibraryJarle Hulaas and Walter Binder
"Program transformations for portable CPU accounting and control in Java"
ACM Digital LibraryZhenjiang Hu, Shin-Cheng Mu and Masato Takeichi
"A programmable editor for developing structured documents based on bidirectional transformations"
ACM Digital LibrarySteve Barker, Michael Leuschel and Mauricio Varea
"Efficient and flexible access control via logic program specialisation"
ACM Digital LibraryEhud Y. Shapiro
"Invited talk: injecting life with computers"
ACM Digital LibraryJ. Gregory Morrisett
"Invited talk: what's the future for proof-carrying code?"
ACM Digital LibraryDirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala and Rupak Majumdar
"Invited talk: the blast query language for software verification"
ACM Digital Library
Last modified: Monday, February 16th, 2009 6:22:13pm
HTML generated using WebIt!.