The SCEAS System
Navigation Menu

Conferences in DBLP

Symposium on Principles of Programming Languages (POPL) (popl)
1978 (conf/popl/78)

  1. Leonidas J. Guibas, Douglas K. Wyatt
    Compilation and Delayed Evaluation in APL. [Citation Graph (1, 0)][DBLP]
    POPL, 1978, pp:1-8 [Conf]
  2. Daniel Ingalls
    The Smalltalk-76 Programming System. [Citation Graph (3, 0)][DBLP]
    POPL, 1978, pp:9-16 [Conf]
  3. Edward A. Ashcroft, William W. Wadge
    Clauses: Scope Structures and Defined Functions in Lucid. [Citation Graph (0, 0)][DBLP]
    POPL, 1978, pp:17-22 [Conf]
  4. Alan J. Demers, James E. Donahue, Glenn Skinner
    Data Types as Values: Polymorphism, Type-Checking, Encapsulation. [Citation Graph (1, 0)][DBLP]
    POPL, 1978, pp:23-30 [Conf]
  5. Marvin H. Solomon
    Type Definitions with Parameters. [Citation Graph (0, 0)][DBLP]
    POPL, 1978, pp:31-38 [Conf]
  6. John C. Reynolds
    Syntactic Control of Interference. [Citation Graph (0, 0)][DBLP]
    POPL, 1978, pp:39-46 [Conf]
  7. Barry K. Rosen
    Monoids for Rapid Data Flow Analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 1978, pp:47-59 [Conf]
  8. Marc A. Kaplan, Jeffrey D. Ullman
    A General Scheme for the Automatic Inference of Variable Types. [Citation Graph (0, 0)][DBLP]
    POPL, 1978, pp:60-75 [Conf]
  9. John H. Reif
    Symbolic Programming Analysis in Almost Linear Time. [Citation Graph (0, 0)][DBLP]
    POPL, 1978, pp:76-83 [Conf]
  10. Patrick Cousot, Nicolas Halbwachs
    Automatic Discovery of Linear Restraints Among Variables of a Program. [Citation Graph (1, 0)][DBLP]
    POPL, 1978, pp:84-96 [Conf]
  11. Stephen C. Johnson
    A Portable Compiler: Theory and Practice. [Citation Graph (0, 0)][DBLP]
    POPL, 1978, pp:97-104 [Conf]
  12. Steven M. German
    Automating Proofs of the Absence of Common Runtime Errors. [Citation Graph (0, 0)][DBLP]
    POPL, 1978, pp:105-118 [Conf]
  13. Michael J. C. Gordon, Robin Milner, L. Morris, Malcolm C. Newey, Christopher P. Wadsworth
    A Metalanguage for Interactive Proof in LCF. [Citation Graph (3, 0)][DBLP]
    POPL, 1978, pp:119-130 [Conf]
  14. Robert Cartwright, Derek C. Oppen
    Unrestricted Procedure Calls in Hoare's Logic. [Citation Graph (0, 0)][DBLP]
    POPL, 1978, pp:131-140 [Conf]
  15. Charles G. Nelson, Derek C. Oppen
    A Simplifier Based on Efficient Decision Algorithms. [Citation Graph (0, 0)][DBLP]
    POPL, 1978, pp:141-150 [Conf]
  16. Derek C. Oppen
    Reasoning about Recursively Defined Data Structures. [Citation Graph (1, 0)][DBLP]
    POPL, 1978, pp:151-157 [Conf]
  17. Peter J. Downey, Hanan Samet, Ravi Sethi
    Off-Line and On-Line Algorithms for Deducing Equalities. [Citation Graph (0, 0)][DBLP]
    POPL, 1978, pp:158-170 [Conf]
  18. David W. Mizell
    Verification and Design Aspects of ``True'' Concurrency. [Citation Graph (0, 0)][DBLP]
    POPL, 1978, pp:171-175 [Conf]
  19. Karel Culík
    Almost Control-Free (Indeterministic) Parallel Computation on Permit Schemes. [Citation Graph (0, 0)][DBLP]
    POPL, 1978, pp:176-184 [Conf]
  20. William F. Ogden, William E. Riddle, William C. Rounds
    Complexity of Expressions Allowing Concurrency. [Citation Graph (0, 0)][DBLP]
    POPL, 1978, pp:185-194 [Conf]
  21. Anders Haraldsson
    A Partial Evaluator, Its Use for Compiling Iterative Statements in Lisp. [Citation Graph (1, 0)][DBLP]
    POPL, 1978, pp:195-202 [Conf]
  22. David Harel, Vaughan R. Pratt
    Nondeterminism in Logics of Programs. [Citation Graph (0, 0)][DBLP]
    POPL, 1978, pp:203-213 [Conf]
  23. Paul R. Kosinki
    A Straightforward Denotational Semantics for Non-Determinant Data Flow Programs. [Citation Graph (0, 0)][DBLP]
    POPL, 1978, pp:214-221 [Conf]
  24. Bhaskaram Prabhala, Ravi Sethi
    Efficient Computation of Expressions with Common Subexpressions. [Citation Graph (0, 0)][DBLP]
    POPL, 1978, pp:222-230 [Conf]
  25. R. Steven Glanville, Susan L. Graham
    A New Method for Compiler Code Generation. [Citation Graph (0, 0)][DBLP]
    POPL, 1978, pp:231-240 [Conf]
  26. Thomas J. Pennello, Frank DeRemer
    A Forward Move Algorithm for LR Error Recovery. [Citation Graph (0, 0)][DBLP]
    POPL, 1978, pp:241-254 [Conf]
  27. Aravind K. Joshi, Leon S. Levy, Kang Yueh
    Local Constraints in the Syntax and Semantics of Programming Languages. [Citation Graph (0, 0)][DBLP]
    POPL, 1978, pp:255-264 [Conf]
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