The SCEAS System
Navigation Menu

Journals in DBLP

ACM Trans. Program. Lang. Syst.
1994, volume: 16, number: 5

  1. Thomas Ball
    Efficient Counting Program Events with Support for On-Line Queries. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:5, pp:1399-1410 [Journal]
  2. Konstantin Läufer, Martin Odersky
    Polymorphic Type Inference and Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:5, pp:1411-1430 [Journal]
  3. J. Michael Ashley, Charles Consel
    Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:5, pp:1431-1448 [Journal]
  4. Marcel Beemster
    Strictness Optimization for Graph Reduction Machines (Why id Might Not Be Strict). [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:5, pp:1449-1466 [Journal]
  5. G. Ramalingam
    The Undecidability of Aliasing. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:5, pp:1467-1471 [Journal]
  6. Uday P. Khedker, Dhananjay M. Dhamdhere
    A Generalized Theory of Bit Vector Data Flow Analysis. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:5, pp:1472-1511 [Journal]
  7. Edmund M. Clarke, Orna Grumberg, David E. Long
    Model Checking and Abstraction. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:5, pp:1512-1542 [Journal]
  8. Martín Abadi, Leslie Lamport
    An Old-Fashined Recipe for Real-Time. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:5, pp:1543-1571 [Journal]
  9. Josephine Micallef, Gail E. Kaiser
    Extending Attribute Grammars to Support Programming-in-the-Large. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:5, pp:1572-1612 [Journal]
  10. Peter T. Breuer, Jonathan P. Bowen
    Decompilation: The Enumeration of Types and Grammars. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:5, pp:1613-1647 [Journal]
  11. David B. Whalley
    Automatic Isolation of Compiler Errors. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:5, pp:1648-1659 [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