The SCEAS System
Navigation Menu

Conferences in DBLP

Symposium on Principles of Programming Languages (POPL) (popl)
1976 (conf/popl/76)

  1. Benton L. Leong, Detlef Wotschke
    The Influence of Productions on Derivations and Parsing. [Citation Graph (0, 0)][DBLP]
    POPL, 1976, pp:1-11 [Conf]
  2. Harry B. Hunt III
    A Complexity Theory of Grammar Problems. [Citation Graph (0, 0)][DBLP]
    POPL, 1976, pp:12-18 [Conf]
  3. Alfred V. Aho, Stephen C. Johnson, Jeffrey D. Ullman
    Code Generation for Expressions with Common Subexpressions. [Citation Graph (0, 0)][DBLP]
    POPL, 1976, pp:19-31 [Conf]
  4. Ken Kennedy, Scott K. Warren
    Automatic Generation of Efficient Evaluators for Attribute Grammars. [Citation Graph (0, 0)][DBLP]
    POPL, 1976, pp:32-49 [Conf]
  5. Gregory R. Ruth
    Automatic Design of Data Processing Systems. [Citation Graph (0, 0)][DBLP]
    POPL, 1976, pp:50-57 [Conf]
  6. James R. Low, Paul Rovner
    Techniques for the Automatic Selection of Data Structures. [Citation Graph (1, 0)][DBLP]
    POPL, 1976, pp:58-67 [Conf]
  7. Phillip D. Summers
    A Methodology for Lisp Program Construction from Examples. [Citation Graph (0, 0)][DBLP]
    POPL, 1976, pp:68-76 [Conf]
  8. Neil D. Jones, Steven S. Muchnick
    Binding Time Optimization in Programming Languages: Some Thoughts Toward the Design of an Ideal Language. [Citation Graph (0, 0)][DBLP]
    POPL, 1976, pp:77-94 [Conf]
  9. Peter Henderson, James H. Morris Jr.
    A Lazy Evaluator. [Citation Graph (3, 0)][DBLP]
    POPL, 1976, pp:95-103 [Conf]
  10. Amelia C. Fong, Jeffrey D. Ullman
    Induction Variables in Very High Level Languages. [Citation Graph (2, 0)][DBLP]
    POPL, 1976, pp:104-112 [Conf]
  11. Brenda S. Baker
    An Algorithm for Structuring Programs. [Citation Graph (0, 0)][DBLP]
    POPL, 1976, pp:113-126 [Conf]
  12. Wilf R. LaLonde
    On Directly Constructing LR(k) Parsers Without Chain Reductions. [Citation Graph (0, 0)][DBLP]
    POPL, 1976, pp:127-133 [Conf]
  13. Reinhold Franck
    PLAN2D - Syntactic Analysis of Precedence Graph Grammars. [Citation Graph (0, 0)][DBLP]
    POPL, 1976, pp:134-139 [Conf]
  14. David B. Loveman
    Program Improvement by Source to Source Transformation. [Citation Graph (0, 0)][DBLP]
    POPL, 1976, pp:140-152 [Conf]
  15. Ben Wegbreit
    Goal-Directed Program Transformation. [Citation Graph (0, 0)][DBLP]
    POPL, 1976, pp:153-170 [Conf]
  16. Robert S. Boyer, J. Strother Moore, Robert E. Shostak
    Primitive Recursive Program Transformations. [Citation Graph (0, 0)][DBLP]
    POPL, 1976, pp:171-174 [Conf]
  17. Paul R. Kosinski
    Mathematical Semantics and Data Flow Programming. [Citation Graph (0, 0)][DBLP]
    POPL, 1976, pp:175-184 [Conf]
  18. Dianne E. Britton, Frederick C. Druseikis, Ralph E. Griswold, David R. Hanson, Richard A. Holmes
    Procedure Referencing Environments in SL5. [Citation Graph (0, 0)][DBLP]
    POPL, 1976, pp:185-191 [Conf]
  19. Patricia P. Griffiths, Charles J. Prenner
    Verifying Formal Specifications of Synchronous Processes. [Citation Graph (0, 0)][DBLP]
    POPL, 1976, pp:192-208 [Conf]
  20. Matthew M. Geller
    Test Data as an Aid in Proving Program Correctness. [Citation Graph (0, 0)][DBLP]
    POPL, 1976, pp:209-218 [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