| | Annual Symposium on Principles of Programming Languages archiveProceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages 1986, St. Petersburg Beach, Florida | | | | Front matter  pdf(666 KB) Front matter | | |
| | | Table of Contents | | | | Remote attribute updating for language-based editors
Thomas W. Reps, Carla Marceau, Tim Teitelbaum
Pages: 1 - 13
Full text available: Pdf(2.65 MB) | | | | Dynamically bypassing copy rule chains in attribute grammars
Roger Hoover
Pages: 14 - 25
Full text available: Pdf(2.39 MB) | | | | Global storage allocation in attribute evaluation
Takuya Katayama, Hisashi Sasaki
Pages: 26 - 37
Full text available: Pdf(2.05 MB) | | | | Finding the source of type errors
Mitchell Wand
Pages: 38 - 43
Full text available: Pdf(619 KB) | | | | A maximum-flow approach to anomaly isolation in unification-based incremental type inference
Gregory F. Johnson, Janet A. Walz
Pages: 44 - 57
Full text available: Pdf(2.84 MB) | | | | Hierarchical VLSI design systems based on attribute grammars
Larry G. Jones, Janos Simon
Pages: 58 - 69
Full text available: Pdf(1.79 MB) | | | | Code motion of control structures in high-level languages
Ron Cytron, Andy Lowry, F. Kenneth Zadeck
Pages: 70 - 85
Full text available: Pdf(2.31 MB) | | | | Compilers and staging transformations
Ulrik Jørring, William L. Scherlis
Pages: 86 - 96
Full text available: Pdf(1.44 MB) | | | | Higher-order strictness analysis in untyped lambda calculus
Paul Hudak, Jonathan Young
Pages: 97 - 109
Full text available: Pdf(1.84 MB) | | | | Retargetable high-level alias analysis
Deborah S. Coutant
Pages: 110 - 118
Full text available: Pdf(1.53 MB) | | | | High-quality code generation via bottom-up tree pattern matching
Philip J. Hatcher, Thomas W. Christopher
Pages: 119 - 130
Full text available: Pdf(1.72 MB) | | | | A parallel language and its compilation to multiprocessor machines or VLSI
Marina C. Chen
Pages: 131 - 139
Full text available: Pdf(1.47 MB) | | | | Towards programming with knowledge expressions
Reino Kurki-Suonio
Pages: 140 - 149
Full text available: Pdf(2.04 MB) | | | | Limitations of synchronous communication with static process structure in languages for distributed computing
Barbara Liskov, Maurice Herlihy, Lucy Gilbert
Pages: 150 - 159
Full text available: Pdf(1.48 MB) | | | | Atomic data abstractions in a distributed collaborative editing system
Irene Greif, Robert Seliger, William E. Weihl
Pages: 160 - 172
Full text available: Pdf(2.52 MB) | | | | A really abstract concurrent model and its temporal logic
Howard Barringer, Ruurd Kuiper, Amir Pnueli
Pages: 173 - 183
Full text available: Pdf(1.98 MB) | | | | Expressing interesting properties of programs in propositional temporal logic
Pierre Wolper
Pages: 184 - 193
Full text available: Pdf(2.39 MB) | | | | Operational semantics of a parallel object-oriented language
Pierre America, Jaco de Bakker, Joost N. Kok, Jan J. M. M. Rutten
Pages: 194 - 208
Full text available: Pdf(1.58 MB) | | | | Equational logic programming: an extension to equational programming
Jia-Huai You, P. A. Subrahmanyam
Pages: 209 - 218
Full text available: Pdf(1.18 MB) | | | | Logic and inheritance
Hassan Aït-Kaci, Roger Nasr
Pages: 219 - 228
Full text available: Pdf(1.56 MB) | | | | Unification in many-sorted algebras as a device for incremental semantic analysis
Gregor Snelting, Wolfgang Henhapl
Pages: 229 - 235
Full text available: Pdf(1.01 MB) | | | | Distributed data structures in Linda
Nicholas Carriero, David Gelernter, Jerrold Leichter
Pages: 236 - 242
Full text available: Pdf(1.04 MB) | | | | Para-functional programming: a paradigm for programming multiprocessor systems
Paul Hudak, Lauren Smith
Pages: 243 - 254
Full text available: Pdf(1.59 MB) | | | | Annotations for distributed programming in logic
Raghu Ramakrishnan, Abraham Silberschatz
Pages: 255 - 262
Full text available: Pdf(1.12 MB) | | | | Representation independence and data abstraction
John C. Mitchell
Pages: 263 - 276
Full text available: Pdf(2.33 MB) | | | | Using dependent types to express modular structure
David B. MacQueen
Pages: 277 - 286
Full text available: Pdf(1.38 MB) | | | | "Type" is not a type
Albert R. Meyer, Mark B. Reinhold
Pages: 287 - 295
Full text available: Pdf(2.31 MB) | | | | Data flow analysis of applicative programs using minimal function graphs
Neil D. Jones, Alan Mycroft
Pages: 296 - 306
Full text available: Pdf(1.70 MB) | | | | A mechanically certified theorem about optimal concurrency of sorting networks
Christian Lengauer, Chua-Huang Huang
Pages: 307 - 317
Full text available: Pdf(1.16 MB) | | | | Executable specifications with quantifiers in the FASE system
Stan Jefferson, Samuel N. Kamin
Pages: 318 - 326
Full text available: Pdf(1.13 MB) | |
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
