default search action

combined dblp search
author search
venue search
publication search

ask others

PEPM 2004: Verona, Italy

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > PEPM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/pepm/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/2004
Nevin Heintze, Peter Sestoft:
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
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/McIlraith04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/McIlraith04
Sheila A. McIlraith:
Invited talk: towards declarative programming for web services. 1-2
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/Asai04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/Asai04
Kenichi Asai:
Offline partial evaluation for shift and reset. 3-14
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/Rigo04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/Rigo04
Armin Rigo:
Representation-based just-in-time specialization and the psyco prototype for python. 15-26
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/AndersenS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/AndersenS04
Helle Markmann Andersen, Ulrik Pagh Schultz:
Declarative specialization for object-oriented-program specialization. 27-38
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/BobeffN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/BobeffN04
Gustavo J. Bobeff, Jacques Noyé:
Component specialization. 39-50
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/AkersBM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/AkersBM04
Robert L. Akers, Ira D. Baxter, Michael Mehlich:
Invited application paper: re-engineering C++ components via automatic program transformation. 51-55
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/Daugherty04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/Daugherty04
Gary Daugherty:
Invited application paper: a proposal for the specialization of HA/DRE systems. 56-67
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/Kamin04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/Kamin04
Sam Kamin:
Invited application paper: program generation considered easy. 68-79
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/LawallMD04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/LawallMD04
Julia L. Lawall, Gilles Muller, Hervé Duchesne:
Invited application paper: language design for implementing process scheduling hierarchies. 80-91
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/SmaragdakisHZ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/SmaragdakisHZ04
Yannis Smaragdakis, Shan Shan Huang, David Zook:
Program generators and the tools to make them. 92-100
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/Nishimura04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/Nishimura04
Susumu Nishimura:
Fusion with stacks and accumulating parameters. 101-112
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/Debois04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/Debois04
Søren Debois:
Imperative program optimization by partial evaluation. 113-122
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/OchoaSV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/OchoaSV04
Claudio Ochoa, Josep Silva, Germán Vidal:
Dynamic slicing based on redex trails. 123-134
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/PopeeaC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/PopeeaC04
Corneliu Popeea, Wei-Ngan Chin:
A type system for resource protocol verification and its correctness proof. 135-146
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/DuranLMMU04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/DuranLMMU04
Francisco Durán, Salvador Lucas, José Meseguer, Claude Marché, Xavier Urbain:
Proving termination of membership equational programs. 147-158
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/PettorossiP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/PettorossiP04
Alberto Pettorossi, Maurizio Proietti:
A theory of totally correct logic program transformations. 159-168
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/HulaasB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/HulaasB04
Jarle Hulaas, Walter Binder:
Program transformations for portable CPU accounting and control in Java. 169-177
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/HuMT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/HuMT04
Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi:
A programmable editor for developing structured documents based on bidirectional transformations. 178-189
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/BarkerLV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/BarkerLV04
Steve Barker, Michael Leuschel, Mauricio Varea:
Efficient and flexible access control via logic program specialisation. 190-199
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/Shapiro04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/Shapiro04
Ehud Shapiro:
Invited talk: injecting life with computers. 200
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/Morrisett04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/Morrisett04
J. Gregory Morrisett:
Invited talk: what's the future for proof-carrying code? 203
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/BeyerCHJM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/BeyerCHJM04
Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Invited talk: the blast query language for software verification. 201-202

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.