The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
2000, volume: 248, number: 1-2

  1. Charles Consel
    Selected Papers from PEPM'97 - Foreword. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:248, n:1-2, pp:1-2 [Journal]
  2. Luke Hornof, Jacques Noyé
    Accurate binding-time analysis for imperative languages: flow, context, and return sensitivity. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:248, n:1-2, pp:3-27 [Journal]
  3. David Melski, Thomas W. Reps
    Interconvertibility of a class of set constraints and context-free-language reachability. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:248, n:1-2, pp:29-98 [Journal]
  4. Rogardt Heldal, John Hughes
    Extending a partial evaluator which supports separate compilation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:248, n:1-2, pp:99-145 [Journal]
  5. Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers, Susan J. Eggers
    DyC: an expressive annotation-directed dynamic compiler for C. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:248, n:1-2, pp:147-199 [Journal]
  6. Gilles Muller, Renaud Marlet, Eugen-Nicolae Volanschi
    Accurate program analyses for successful specialization of legacy system software. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:248, n:1-2, pp:201-210 [Journal]
  7. Walid Taha, Tim Sheard
    MetaML and multi-stage programming with explicit annotations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:248, n:1-2, pp:211-242 [Journal]
  8. Olivier Danvy, Ulrik Pagh Schultz
    Lambda-dropping: transforming recursive equations into programs with block structure. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:248, n:1-2, pp:243-287 [Journal]
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