The SCEAS System
Navigation Menu

Journals in DBLP

ACM Trans. Program. Lang. Syst.
1983, volume: 5, number: 3

  1. Norman H. Cohen
    Eliminating Redundant Recursive Calls. [Citation Graph (1, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1983, v:5, n:3, pp:265-299 [Journal]
  2. Eliezer Dekel, Sartaj Sahni
    Parallel Generation of Postfix and Tree Forms. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1983, v:5, n:3, pp:300-317 [Journal]
  3. Harald Ganzinger
    Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1983, v:5, n:3, pp:318-354 [Journal]
  4. Sergiu Hart, Micha Sharir, Amir Pnueli
    Termination of Probabilistic Concurrent Program. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1983, v:5, n:3, pp:356-380 [Journal]
  5. Barbara Liskov, Robert Scheifler
    Guardians and Actions: Linguistic Support for Robust, Distributed Programs. [Citation Graph (12, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1983, v:5, n:3, pp:381-404 [Journal]
  6. Richard J. Lipton, Jacobo Valdes, Gopalakrishnan Vijayan, Stephen C. North, Robert Sedgewick
    VLSI Layout as Programming. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1983, v:5, n:3, pp:405-421 [Journal]
  7. John L. Hennessy, Thomas R. Gross
    Postpass Code Optimization of Pipeline Constraints. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1983, v:5, n:3, pp:422-448 [Journal]
  8. Thomas W. Reps, Tim Teitelbaum, Alan J. Demers
    Incremental Context-Dependent Analysis for Language-Based Editors. [Citation Graph (3, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1983, v:5, n:3, pp:449-477 [Journal]
  9. Robert Giegerich
    A Formal Framework for the Derivation of Machine-Specific Optimizers. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1983, v:5, n:3, pp:478-498 [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