Conferences in DBLP

Symposium on Principles of Programming Languages (POPL) (popl)
1975 (conf/popl/75)

1. Amelia C. Fong, John B. Kam, Jeffrey D. Ullman
   Application of Lattice Algebra to Loop Optimization. [Citation Graph (0, 0)][DBLP]
   POPL, 1975, pp:1-9 [Conf]
   
2. Ken Kennedy
   Node Listings Applied to Data Flow Analysis. [Citation Graph (0, 0)][DBLP]
   POPL, 1975, pp:10-21 [Conf]
   
3. Susan L. Graham, Mark N. Wegman
   A Fast and Usually Linear Algorithm for Global Flow Analysis. [Citation Graph (0, 0)][DBLP]
   POPL, 1975, pp:22-34 [Conf]
   
4. Jacob T. Schwartz
   Automatic Data Structure Choice in a Language of Very High Level. [Citation Graph (0, 0)][DBLP]
   POPL, 1975, pp:36-40 [Conf]
   
5. George T. Ligler
   A Mathematical Approach to Language Design. [Citation Graph (0, 0)][DBLP]
   POPL, 1975, pp:41-53 [Conf]
   
6. Susan L. Gerhart
   Correctness-Preserving Program Transformations. [Citation Graph (0, 0)][DBLP]
   POPL, 1975, pp:54-66 [Conf]
   
7. Irene Greif, Carl Hewitt
   Actor Semantics of Planner-73. [Citation Graph (0, 0)][DBLP]
   POPL, 1975, pp:67-77 [Conf]
   
8. Richard J. Lipton
   Reduction: A New Method of Proving Properties of Systems of Processes. [Citation Graph (0, 0)][DBLP]
   POPL, 1975, pp:78-86 [Conf]
   
9. Ellis S. Cohen
   A Semantic Model for Parallel Systems with Scheduling. [Citation Graph (0, 0)][DBLP]
   POPL, 1975, pp:87-94 [Conf]
   
10. Peter E. Lauer, Roy H. Campbell
    A Description of Path Expressions by Petri Nets. [Citation Graph (0, 0)][DBLP]
    POPL, 1975, pp:95-105 [Conf]
    
11. Neil D. Jones, Steven S. Muchnick
    Even Simple Programs are Hard to Analyze. [Citation Graph (0, 0)][DBLP]
    POPL, 1975, pp:106-118 [Conf]
    
12. Mehdi Jazayeri, William F. Ogden, William C. Rounds
    On the Complexity of the Circularity Test for Attribute Grammars. [Citation Graph (0, 0)][DBLP]
    POPL, 1975, pp:119-129 [Conf]
    
13. Harry B. Hunt III, Thomas G. Szymanski, Jeffrey D. Ullman
    On the Complexity of LR(k) Testing. [Citation Graph (0, 0)][DBLP]
    POPL, 1975, pp:130-136 [Conf]
    
14. Peter Naur
    Programming Languages, Natural Languages, and Mathematics. [Citation Graph (0, 0)][DBLP]
    POPL, 1975, pp:137-148 [Conf]
    
15. Marvin H. Solomon
    Modes, Values, and Expressions. [Citation Graph (0, 0)][DBLP]
    POPL, 1975, pp:149-159 [Conf]
    
16. Stephen A. Cook, Derek C. Oppen
    An Assertion Language for Data Structures. [Citation Graph (0, 0)][DBLP]
    POPL, 1975, pp:160-166 [Conf]
    
17. Glenn F. Stewart
    An Algebraic Model for String Patterns. [Citation Graph (0, 0)][DBLP]
    POPL, 1975, pp:167-184 [Conf]
    
18. Bruce P. Lester
    Program Schemas with Concurrency: Execution Time and Hangups. [Citation Graph (0, 0)][DBLP]
    POPL, 1975, pp:185-193 [Conf]
    
19. D. M. Symes
    New Control Structures to Aid Gotolessness. [Citation Graph (0, 0)][DBLP]
    POPL, 1975, pp:194-203 [Conf]
    
20. John B. Goodenough
    Structured Exception Handling. [Citation Graph (0, 0)][DBLP]
    POPL, 1975, pp:204-224 [Conf]
    
21. Patrick A. V. Hall, Peter Hitchcock, Stephen Todd
    An Algebra of Relations for Machine Computation. [Citation Graph (8, 0)][DBLP]
    POPL, 1975, pp:225-232 [Conf]
    
22. Martin Mikelsons
    Computer Assisted Application Definition. [Citation Graph (0, 0)][DBLP]
    POPL, 1975, pp:233-242 [Conf]