The SCEAS System
Navigation Menu

Journals in DBLP

ACM Trans. Program. Lang. Syst.
1982, volume: 4, number: 2

  1. Fred B. Schneider
    Synchronization in Distributed Programs. [Citation Graph (4, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1982, v:4, n:2, pp:125-148 [Journal]
  2. Richard C. Holt, James R. Cordy, David B. Wortman
    An Introduction to S/SL: Syntax/Semantic Language. [Citation Graph (1, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1982, v:4, n:2, pp:149-178 [Journal]
  3. Eljas Soisalon-Soininen
    Inessential Error Entries and Their Use in LR Parser Optimization. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1982, v:4, n:2, pp:179-195 [Journal]
  4. Micha Sharir
    Some Observations Concerning Formal Differentiation of Set Theoretic Expressions. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1982, v:4, n:2, pp:196-225 [Journal]
  5. C. S. Wetherell
    Error Data Values in the Data-Flow Language VAL. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1982, v:4, n:2, pp:226-238 [Journal]
  6. Richard J. Fateman
    High-Level Language Implications of the Proposed IEEE Floating-Point Standard. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1982, v:4, n:2, pp:239-257 [Journal]
  7. Alberto Martelli, Ugo Montanari
    An Efficient Unification Algorithm. [Citation Graph (5, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1982, v:4, n:2, pp:258-282 [Journal]
  8. Edward A. Ashcroft, William W. Wadge
    R/ for Semantics. [Citation Graph (2, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1982, v:4, n:2, pp:283-294 [Journal]
  9. Jacques J. Arsac, Yves Kodratoff
    Some Techniques for Recursion Removal from Recursive Programs. [Citation Graph (1, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1982, v:4, n:2, pp:295-322 [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