| | Annual Symposium on Principles of Programming Languages archiveProceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages 1982, Albuquerque, New Mexico January 25 - 27, 1982 | |
| Table of Contents | |
| | Termination of probabilistic concurrent programs: (extended abstract)
Sergiu Hart, Micha Sharir, Amir Pnueli
Pages: 1 - 6
Full text available:  Pdf(553 KB) | |
| | Guardians and actions: linguistic support for robust, distributed programs
Barbara Liskov, Robert Scheifler
Pages: 7 - 19
Full text available: Pdf(1.34 MB) | |
| | Specification and synthesis of communicating processes using an extended temporal logic: (preliminary version)
Pierre Wolper
Pages: 20 - 33
Full text available: Pdf(1.17 MB) | |
| | Messages as active agents
David W. Wall
Pages: 34 - 39
Full text available: Pdf(589 KB) | |
| | Extended naming conventions for communicating processes
Nissim Francez
Pages: 40 - 45
Full text available: Pdf(536 KB) | |
| | Unbounded speed variability in distributed communication systems
John Reif, Paul Spirakis
Pages: 46 - 56
Full text available: Pdf(978 KB) | |
| | Programming aspects of VLSI: (preliminary version)
Richard J. Lipton, Robert Sedgewick, Jacobo Valdes
Pages: 57 - 65
Full text available: Pdf(844 KB) | |
| | A flexible approach to interprocedural data flow analysis and programs with recursive data structures
Neil D. Jones, Steven S. Muchnick
Pages: 66 - 74
Full text available: Pdf(745 KB) | |
| | Automatic generation of machine specific code optimizers
Robert Giegerich
Pages: 75 - 81
Full text available: Pdf(460 KB) | |
| | Optimal code for control structures
M. V. S. Ramanath, Marvin Solomon
Pages: 82 - 94
Full text available: Pdf(804 KB) | |
| | Experience with an attribute grammar-based compiler
Rodney Farrow
Pages: 95 - 107
Full text available: Pdf(1.09 MB) | |
| | Description-driven code generation using attribute grammars
Mahadevan Ganapathi, Charles N. Fischer
Pages: 108 - 119
Full text available: Pdf(989 KB) | |
| | Code generation and reorganization in the presence of pipeline constraints
John L. Hennessy, Thomas R. Gross
Pages: 120 - 127
Full text available: Pdf(727 KB) | |
| | Eliminating redundant object code
Jack W. Davidson, Christopher W. Fraser
Pages: 128 - 132
Full text available: Pdf(422 KB) | |
| | A type declaration and inference system for smalltalk
Alan H. Borning, Daniel H. H. Ingalls
Pages: 133 - 141
Full text available: Pdf(698 KB) | |
| | Lithe: a language combining a flexible syntax and classes
David Sandberg
Pages: 142 - 145
Full text available: Pdf(291 KB) | |
| | Unified dialogue management in the carousel system
Erik Sandewall
Pages: 146 - 156
Full text available: Pdf(1.23 MB) | |
| | Maple: a programming language and operating system
P. J. Voda
Pages: 157 - 168
Full text available: Pdf(957 KB) | |
| | Optimal-time incremental semantic analysis for syntax-directed editors
Thomas Reps
Pages: 169 - 176
Full text available: Pdf(742 KB) | |
| | Practical error recovery in LR parsing
Seppo Sippu, Eljas Soisalon-Soininen
Pages: 177 - 184
Full text available: Pdf(634 KB) | |
| | Non-syntactic attribute flow in language based editors
Gregory F. Johnson, Charles N. Fischer
Pages: 185 - 195
Full text available: Pdf(1.05 MB) | |
| | Building friendly parsers
Fahimeh Jalili, Jean H. Gallier
Pages: 196 - 206
Full text available: Pdf(505 KB) | |
| | Principal type-schemes for functional programs
Luis Damas, Robin Milner
Pages: 207 - 212
Full text available: Pdf(270 KB) | |
| | On the composition of processes
V. R. Pratt
Pages: 213 - 223
Full text available: Pdf(991 KB) | |
| | A semantics-directed compiler generator
Lawrence Paulson
Pages: 224 - 233
Full text available: Pdf(974 KB) | |
| | Semantics-directed machine architecture
Mitchell Wand
Pages: 234 - 241
Full text available: Pdf(547 KB) | |
| | Completion semantics and interpreter generation
Martin C. Henson, Raymond Turner
Pages: 242 - 254
Full text available: Pdf(651 KB) | |
| | Partial evaluation as a means for inferencing data structures in an applicative language: a theory and implementation in the case of prolog
H. Jan Komorowski
Pages: 255 - 267
Full text available: Pdf(1.24 MB) | |
| | A logic for expressions with side-effects
Hans-J. Boehm
Pages: 268 - 280
Full text available: Pdf(890 KB) | |
| | An axiomatic treatment of exception handling
Shaula Yemini
Pages: 281 - 288
Full text available: Pdf(654 KB) | |
| | Semantics and correctness of a query language translation: (preliminary version)
E. Gansner, J. R. Horgan, C. M. R. Kintala, D. J. Moore, P. Surko
Pages: 289 - 298
Full text available: Pdf(851 KB) | |
| | Algorithmic program diagnosis
Ehud Y. Shapiro
Pages: 299 - 308
Full text available: Pdf(894 KB) | |
| | On effective axiomatizations of Hoare logics
Edmund M. Clarke, Jr., Steven M. German, Joseph Y. Halpern
Pages: 309 - 321
Full text available: Pdf(1.05 MB) | |
| | Modular verification of concurrent programs
Brent Hailpern, Susan Owicki
Pages: 322 - 336
Full text available: Pdf(1.15 MB) | |
| | Axiomatic definability and completeness for recursive programs
Albert R. Meyer, John C. Mitchell
Pages: 337 - 346
Full text available: Pdf(827 KB) | |
| | Is the interesting part of process logic uninteresting?: a translation from PL to PDL
R. Sherman, A. Pnueli, D. Harel
Pages: 347 - 360
Full text available: Pdf(752 KB) | |
| | On the expressive power of query languages for relational databases
Eric C. Cooper
Pages: 361 - 365
Full text available: Pdf(481 KB) | |
| | On the ability of structures to store and access information
Adrienne Critcher
Pages: 366 - 378
Full text available: Pdf(825 KB) | |
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
