The SCEAS System
Navigation Menu

Journals in DBLP

ACM Trans. Program. Lang. Syst.
1995, volume: 17, number: 1

  1. Jean-Marie Larchevêque
    Optimal Incremental Parsing. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1995, v:17, n:1, pp:1-15 [Journal]
  2. Yih-Kuen Tsay, Rajive Bagrodia
    Deducing Fairness Properties in UNITY Logic - A New Completeness Result. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1995, v:17, n:1, pp:16-27 [Journal]
  3. Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo
    Improving Abstract Interpretations by Combining Domains. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1995, v:17, n:1, pp:28-44 [Journal]
  4. Joseph P. Skudlarek
    Notes on "A Methodology for Implementing Highly Concurrent Data Objects". [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1995, v:17, n:1, pp:45-46 [Journal]
  5. Jens Palsberg
    Closure Analysis in Constraint Form. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1995, v:17, n:1, pp:47-62 [Journal]
  6. Alexander Aiken, John H. Williams, Edward L. Wimmers
    Safe: A Semantic Technique for Transforming Programs in the Presence of Errors. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1995, v:17, n:1, pp:63-84 [Journal]
  7. Michael P. Gerlek, Eric Stoltz, Michael Wolfe
    Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-Driven SSA. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1995, v:17, n:1, pp:85-122 [Journal]
  8. Siddhartha Chatterjee, John R. Gilbert, Robert Schreiber, Shang-Hua Teng
    Optimal Evaluation of Array Expressions on Massively Parallel Machines. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1995, v:17, n:1, pp:123-156 [Journal]
  9. Bernadette Charron-Bost, Carole Delporte-Gallet, Hugues Fauconnier
    Local and Temporal Predicates In Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1995, v:17, n:1, pp:157-179 [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