default search action

combined dblp search
author search
venue search
publication search

ask others

PEPM 2002: Portland, OR, USA

> 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
  authority control:
- export record
  dblp key:
  - conf/pepm/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/2002
Peter Thiemann:
Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), Portland, Oregon, USA, January 14-15, 2002. ACM 2002, ISBN 1-58113-455-X

- SIGPLAN Notices 37(3), March 2002

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/pepm/Chambers02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/Chambers02
Craig Chambers:
Staged compilation. 1-8

Session 1

- view
  authority control:
- export record
  dblp key:
  - conf/pepm/MeurLC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/MeurLC02
Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel:
Towards bridging the gap between programming languages and partial evaluation. 9-18
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/Asai02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/Asai02
Kenichi Asai:
Online partial evaluation for shift and reset. 19-30
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/BrabrandS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/BrabrandS02
Claus Brabrand, Michael I. Schwartzbach:
Growing languages with metamorphic syntax macros. 31-40

Session 2

- view
  authority control:
- export record
  dblp key:
  - conf/pepm/SecherS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/SecherS02
Jens P. Secher, Morten Heine Sørensen:
From checking to inference via driving and dag grammars. 41-51
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/Vidal02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/Vidal02
Germán Vidal:
Cost-augmented narrowing-driven specialization. 52-62
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/Lu02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/Lu02
Lunjin Lu:
Path dependent analysis of logic programs. 63-74

Session 3

- view
  authority control:
- export record
  dblp key:
  - conf/pepm/GomezL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/GomezL02
Gustavo Gomez, Yanhong A. Liu:
Automatic time-bound analysis for a higher-order language. 75-86
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/GiacobazziM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/GiacobazziM02
Roberto Giacobazzi, Isabella Mastroeni:
Compositionality in the puzzle of semantics. 87-97

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/pepm/BischofHN02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/BischofHN02
Christian H. Bischof, Paul D. Hovland, Boyana Norris:
Implementation of automatic differentiation tools. 98-107

Session 4

- view
  authority control:
- export record
  dblp key:
  - conf/pepm/LiuS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/LiuS02
Yanhong A. Liu, Scott D. Stoller:
Program optimization using indexed and recursive data structures. 108-118
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/RamakrishnanCP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/RamakrishnanCP02
Naren Ramakrishnan, Robert Capra, Manuel A. Pérez-Quiñones:
Mixed-initiative interaction = mixed computation. 119-130
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/BartheU02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/BartheU02
Gilles Barthe, Tarmo Uustalu:
CPS translating inductive and coinductive types. 131-142

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.