10. POPL 1983: Austin, Texas, USA
John R. Wright, Larry Landweber, Alan J. Demers, Tim Teitelbaum (Eds.): Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 1983. ACM Press 1983 ISBN 0-89791-090-7- Vaughan R. Pratt: Five Paradigm Shifts in Language Design and their Realization in Viron, a Dataflow Programming Environment. 1-9
- Stephen C. Johnson: Code Generation for Silicon. 14-19
- Ralph-Johan Back, Heikki Mannila, Kari-Jouko Räihä: Derivation of Efficient DAG Marking Algorithms. 20-27
- Leslie Lamport: Reasoning About Nonatomic Operations. 28-37
- Greg Nelson: Verifying Reachability Invariants of Linked Structures. 38-47
- John Nagle, Scott Johnson: Practical Program Verification: Automatic Program Proving for Real-Time Embedded Software. 48-58
- Alan J. Demers, James E. Donahue: Making Variables Abstract: An Equational Theory for Russell. 59-72
- Robert Paige: Transformational Programming - Applications to Algorithms and Systems. 73-87
- Daniel Leivant: Polymorphic Type Inference. 88-98
- Pierre Lescanne: Computer Experiments with the Reve Term Rewriting System Generator. 99-108
- Richard B. Kieburtz: Precise Typing of Abstract Data Type Specifications. 109-116
- Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla: Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach. 117-126
- E. Allen Emerson, Joseph Y. Halpern: ``Sometimes'' and ``Not Never'' Revisited: On Branching Versus Linear Time. 127-140
- Daniel Leivant: Structural Semantics for Polymorphic Data Types. 155-166
- Barbara G. Ryder: Incremental Data Flow Analysis. 167-176
- John R. Allen, Ken Kennedy, Carrie Porterfield, Joe D. Warren: Conversion of Control Dependence to Data Dependence. 177-189
- Mitchell Wand: Loops in Combinator-Based Compilers. 190-196
- Janice E. Cuny, Lawrence Snyder: Compilation of Data-Driven Programs for Synchronous Execution. 197-202
- Mark N. Wegman: Summarizing Graphs by Regular Expressions. 203-216
- Jeanne Ferrante, Karl J. Ottenstein: A Program Form Based on Data Dependency in Predicate Regions. 217-236
- Peter Wegner: On the Unification of Data and Program Abstraction in Ada. 256-264
- Lambert G. L. T. Meertens: Incremental Polymorphic Type Checking in B. 265-275
- Robert E. Strom: Mechanisms for Compile-Time Enforcement of Security. 276-284
- Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen, Kristen Nygaard: Abstraction Mechanisms in the Beta Programming Language. 285-298
- Naftaly H. Minsky: Locality in Software Systems. 299-312
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team