The SCEAS System
Navigation Menu

Conferences in DBLP

Symposium on Programs as Data Objects (PADO) (pado)
2001 (conf/pado/2001)

  1. Neil D. Jones
    Program Analysis for Implicit Computational Complexity. [Citation Graph (0, 0)][DBLP]
    PADO, 2001, pp:1- [Conf]
  2. Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
    Deriving Pre-conditions for Array Bound Check Elimination. [Citation Graph (0, 0)][DBLP]
    PADO, 2001, pp:2-24 [Conf]
  3. Adam Fischbach, John Hannan
    Type Systems for Useless-Variable Elimination. [Citation Graph (0, 0)][DBLP]
    PADO, 2001, pp:25-38 [Conf]
  4. Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard
    Boolean Constraints for Binding-Time Analysis. [Citation Graph (0, 0)][DBLP]
    PADO, 2001, pp:39-62 [Conf]
  5. Jörgen Gustavsson, Josef Svenningsson
    Constraint Abstractions. [Citation Graph (0, 0)][DBLP]
    PADO, 2001, pp:63-83 [Conf]
  6. Julia L. Lawall
    Implementing Circularity Using Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    PADO, 2001, pp:84-102 [Conf]
  7. Damien Massé
    Combining Forward and Backward Analyses of Temporal Properties. [Citation Graph (0, 0)][DBLP]
    PADO, 2001, pp:103-116 [Conf]
  8. Isabella Mastroeni
    Numerical Power Analysis. [Citation Graph (0, 0)][DBLP]
    PADO, 2001, pp:117-137 [Conf]
  9. Hidehiko Masuhara, Akinori Yonezawa
    Run-Time Bytecode Specialization. [Citation Graph (0, 0)][DBLP]
    PADO, 2001, pp:138-154 [Conf]
  10. Antoine Miné
    A New Numerical Abstract Domain Based on Difference-Bound Matrices. [Citation Graph (0, 0)][DBLP]
    PADO, 2001, pp:155-172 [Conf]
  11. Ulrik Pagh Schultz
    Partial Evaluation for Class-Based Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
    PADO, 2001, pp:173-197 [Conf]
  12. Jens P. Secher
    Driving in the Jungle. [Citation Graph (0, 0)][DBLP]
    PADO, 2001, pp:198-217 [Conf]
  13. Ganesh Sittampalam, Oege de Moor
    Higher-Order Pattern Matching for Automatically Applying Fusion Transformations. [Citation Graph (0, 0)][DBLP]
    PADO, 2001, pp:218-237 [Conf]
  14. Gregory T. Sullivan
    Dynamic Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    PADO, 2001, pp:238-256 [Conf]
  15. Walid Taha, Henning Makholm, John Hughes
    Tag Elimination and Jones-Optimality. [Citation Graph (0, 0)][DBLP]
    PADO, 2001, pp:257-275 [Conf]
  16. Harald Ganzinger
    Bottom-Up Deduction with Deletion and Priorities. [Citation Graph (0, 0)][DBLP]
    PADO, 2001, pp:276-278 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002