Abstract is missing.
- Five Paradigm Shifts in Language Design and their Realization in Viron, a Dataflow Programming EnvironmentVaughan R. Pratt. 1-9
- Uncovering Principles of Novice ProgrammingJeffrey Bonar, Elliot Soloway. 10-13
- Code Generation for SiliconStephen C. Johnson. 14-19
- Derivation of Efficient DAG Marking AlgorithmsRalph-Johan Back, Heikki Mannila, Kari-Jouko Räihä. 20-27
- Reasoning About Nonatomic OperationsLeslie Lamport. 28-37
- Verifying Reachability Invariants of Linked StructuresGreg Nelson. 38-47
- Practical Program Verification: Automatic Program Proving for Real-Time Embedded SoftwareJohn Nagle, Scott Johnson. 48-58
- Making Variables Abstract: An Equational Theory for RussellAlan J. Demers, James E. Donahue. 59-72
- Transformational Programming - Applications to Algorithms and SystemsRobert Paige. 73-87
- Polymorphic Type InferenceDaniel Leivant. 88-98
- Precise Typing of Abstract Data Type SpecificationsRichard B. Kieburtz. 109-116
- Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical ApproachEdmund M. Clarke, E. Allen Emerson, A. Prasad Sistla. 117-126
- Sometimes and Not Never Revisited: On Branching Versus Linear TimeE. Allen Emerson, Joseph Y. Halpern. 127-140
- How to Cook a Temporal Proof System for Your Pet LanguageZohar Manna, Amir Pnueli. 141-154
- Structural Semantics for Polymorphic Data TypesDaniel Leivant. 155-166
- Incremental Data Flow AnalysisBarbara G. Ryder. 167-176
- Conversion of Control Dependence to Data DependenceJohn R. Allen, Ken Kennedy, Carrie Porterfield, Joe D. Warren. 177-189
- Loops in Combinator-Based CompilersMitchell Wand. 190-196
- Compilation of Data-Driven Programs for Synchronous ExecutionJanice E. Cuny, Lawrence Snyder. 197-202
- Summarizing Graphs by Regular ExpressionsMark N. Wegman. 203-216
- A Program Form Based on Data Dependency in Predicate RegionsJeanne Ferrante, Karl J. Ottenstein. 217-236
- Practical Use of a Polymorphic Applicative LanguageButler W. Lampson, Eric E. Schmidt. 237-255
- On the Unification of Data and Program Abstraction in AdaPeter Wegner. 256-264
- Incremental Polymorphic Type Checking in BLambert G. L. T. Meertens. 265-275 [doi]
- Mechanisms for Compile-Time Enforcement of SecurityRobert E. Strom. 276-284
- Abstraction Mechanisms in the Beta Programming LanguageBent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen, Kristen Nygaard. 285-298
- Locality in Software SystemsNaftaly H. Minsky. 299-312