default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th POPL 1985: New Orleans, Louisiana, USA
- Mary S. Van Deusen, Zvi Galil, Brian K. Reid:
Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, New Orleans, Louisiana, USA, January 1985. ACM Press 1985, ISBN 0-89791-147-4 - Mitchell Wand:
Embedding Type Structure in Semantics. 1-6 - Prateek Mishra, Uday S. Reddy:
Declaration-Free Type Checking. 7-21 - Robert Cartwright:
Types as Intervals. 22-36 - John C. Mitchell, Gordon D. Plotkin:
Abstract Types Have Existential Type. 37-51 - Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer:
Principles of OBJ2. 52-66 - Donald Sannella
, Andrzej Tarlecki:
Program Specification and Development in Standard ML. 67-77 - Leslie Lamport:
What It Means for a Concurrent Program to Satisfy a Specification: Why No One Has Specified Priority. 78-83 - E. Allen Emerson, Chin-Laung Lei:
Modalities for Model Checking: Branching Time Strikes Back. 84-96 - Orna Lichtenstein, Amir Pnueli:
Checking That Finite State Concurrent Programs Satisfy Their Linear Specification. 97-107 - Joseph Y. Halpern, John H. Williams, Edward L. Wimmers, Timothy C. Winkler:
Denotational Semantics and Rewrite Rules for FP. 108-120 - Van Nguyen, David Gries, Susan S. Owicki:
A Model and Temporal Proof System for Networks of Processes. 121-131 - Daniel Leivant:
Logical and Mathematical Reasoning about Imperative Programs. 132-140 - Gregory F. Johnson, Charles N. Fischer:
A Meta-Language and System for Nonlocal Incremental Attribute Evaluation in Language-Based Editors. 141-151 - Lori L. Pollock, Mary Lou Soffa:
Incremental Compilation of Locally Optimized Code. 152-164 - Ray Ford, Duangkaew Sawamiphakdi:
A Greedy Approach to Incremental Code Generation. 165-178 - Jeanne Ferrante, Mary E. Mace:
On Linearizing Parallel Code. 179-189 - Thomas S. Anantharaman, Edmund M. Clarke, Michael J. Foster, Bud Mishra:
Compiling Path Expressions into VLSI Circuits. 191-204 - Leslie Lamport, Fred B. Schneider:
Constraints: A Uniform Approach to Aliasing and Typing. 205-216 - Christopher W. Fraser, David R. Hanson:
High-Level Language Facilities for Low-Level Services. 217-224 - Michael B. Jones, Richard F. Rashid, Mary R. Thompson:
Matchmaker: An Interface Specification Language for Distributed Processing. 225-235 - Walter F. Tichy, Mark C. Baker:
Smart Recompilation. 236-244 - Daniel P. Friedman, Christopher T. Haynes:
Constraining Control. 245-254 - Julian A. Padget, John P. Fitch:
Closurize and Concentrate. 255-265 - Gary Lindstrom:
Functional Programming and the Logical Variable. 266-280 - Keith D. Cooper:
Analyzing Aliases of Reference Formal Parameters. 281-290 - Mark N. Wegman, F. Kenneth Zadeck:
Constant Propagation with Conditional Branches. 291-299 - Paul Hudak, Adrienne G. Bloss:
The Aggregate Update Problem in Functional Programming Systems. 300-314 - Andrew W. Appel:
Semantics-Directed Code Generation. 315-324 - David Bernstein, Ron Y. Pinter, Michael Rodeh:
Optimal Scheduling of Arithmetic Operations in Parallel with Memory Accesses. 325-333 - Alfred V. Aho, Mahadevan Ganapathi:
Efficient Tree Pattern Matching: An Aid to Code Generation. 334-340
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
