default search action

combined dblp search
author search
venue search
publication search

ask others

2. PADO 2001: Aarhus, Denmark

> Home > Conferences and Workshops > PADO

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/pado/2001
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pado/2001
Olivier Danvy, Andrzej Filinski:
Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings. Lecture Notes in Computer Science 2053, Springer 2001, ISBN 3-540-42068-1

Invited Opening Talk

- view
  authority control:
- export record
  dblp key:
  - conf/pado/Jones01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pado/Jones01
Neil D. Jones:
Program Analysis for Implicit Computational Complexity. 1

Contributed Papers

- view
  authority control:
- export record
  dblp key:
  - conf/pado/ChinKX01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pado/ChinKX01
Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu:
Deriving Pre-conditions for Array Bound Check Elimination. 2-24
- view
  authority control:
- export record
  dblp key:
  - conf/pado/FischbachH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pado/FischbachH01
Adam Fischbach, John Hannan:
Type Systems for Useless-Variable Elimination. 25-38
- view
  authority control:
- export record
  dblp key:
  - conf/pado/GlynnSSS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pado/GlynnSSS01
Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard:
Boolean Constraints for Binding-Time Analysis. 39-62
- view
  authority control:
- export record
  dblp key:
  - conf/pado/GustavssonS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pado/GustavssonS01
Jörgen Gustavsson, Josef Svenningsson:
Constraint Abstractions. 63-83
- view
  authority control:
- export record
  dblp key:
  - conf/pado/Lawall01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pado/Lawall01
Julia L. Lawall:
Implementing Circularity Using Partial Evaluation. 84-102
- view
  authority control:
- export record
  dblp key:
  - conf/pado/Masse01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pado/Masse01
Damien Massé:
Combining Forward and Backward Analyses of Temporal Properties. 103-116
- view
  authority control:
- export record
  dblp key:
  - conf/pado/Mastroeni01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pado/Mastroeni01
Isabella Mastroeni:
Numerical Power Analysis. 117-137
- view
  authority control:
- export record
  dblp key:
  - conf/pado/MasuharaY01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pado/MasuharaY01
Hidehiko Masuhara, Akinori Yonezawa:
Run-Time Bytecode Specialization. 138-154
- view
  authority control:
- export record
  dblp key:
  - conf/pado/Mine01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pado/Mine01
Antoine Miné:
A New Numerical Abstract Domain Based on Difference-Bound Matrices. 155-172
- view
  authority control:
- export record
  dblp key:
  - conf/pado/Schultz01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pado/Schultz01
Ulrik Pagh Schultz:
Partial Evaluation for Class-Based Object-Oriented Languages. 173-197
- view
  authority control:
- export record
  dblp key:
  - conf/pado/Secher01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pado/Secher01
Jens P. Secher:
Driving in the Jungle. 198-217
- view
  authority control:
- export record
  dblp key:
  - conf/pado/SittampalamM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pado/SittampalamM01
Ganesh Sittampalam, Oege de Moor:
Higher-Order Pattern Matching for Automatically Applying Fusion Transformations. 218-237
- view
  authority control:
- export record
  dblp key:
  - conf/pado/Sullivan01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pado/Sullivan01
Gregory T. Sullivan:
Dynamic Partial Evaluation. 238-256
- view
  authority control:
- export record
  dblp key:
  - conf/pado/TahaMH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pado/TahaMH01
Walid Taha, Henning Makholm, John Hughes:
Tag Elimination and Jones-Optimality. 257-275

Invited Closing Talk

- view
  authority control:
- export record
  dblp key:
  - conf/pado/Ganzinger01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pado/Ganzinger01
Harald Ganzinger:
Bottom-Up Deduction with Deletion and Priorities. 276-278

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.