|
|
Conferences in DBLP
- Thomas W. Reps, Carla Marceau, Tim Teitelbaum
Remote Attribute Updating for Language-Based Editors. [Citation Graph (0, 0)][DBLP]
POPL, 1986, pp:1-13 [Conf]
- Roger Hoover
Dynamically Bypassing Copy Rule Chains in Attribute Grammars. [Citation Graph (0, 0)][DBLP]
POPL, 1986, pp:14-25 [Conf]
- Takuya Katayama, Hisashi Sasaki
Global Storage Allocation in Attribute Evaluation. [Citation Graph (0, 0)][DBLP]
POPL, 1986, pp:26-37 [Conf]
- Mitchell Wand
Finding the Source of Type Errors. [Citation Graph (0, 0)][DBLP]
POPL, 1986, pp:38-43 [Conf]
- Gregory F. Johnson, Janet A. Walz
A Maximum-Flow Approach to Anomaly Isolation in Unification-Based Incremental Type Inference. [Citation Graph (0, 0)][DBLP]
POPL, 1986, pp:44-57 [Conf]
- Larry G. Jones, Janos Simon
Hierarchical VLSI Design Systems Based on Attribute Grammars. [Citation Graph (0, 0)][DBLP]
POPL, 1986, pp:58-69 [Conf]
- Ron Cytron, Andy Lowry, F. Kenneth Zadeck
Code Motion of Control Structures in High-Level Languages. [Citation Graph (0, 0)][DBLP]
POPL, 1986, pp:70-85 [Conf]
- Ulrik Jørring, William L. Scherlis
Compilers and Staging Transformations. [Citation Graph (0, 0)][DBLP]
POPL, 1986, pp:86-96 [Conf]
- Paul Hudak, Jonathan Young
Higher-Order Strictness Analysis in Untyped Lambda Calculus. [Citation Graph (0, 0)][DBLP]
POPL, 1986, pp:97-109 [Conf]
- Deborah S. Coutant
Retargetable High-Level Alias Analysis. [Citation Graph (0, 0)][DBLP]
POPL, 1986, pp:110-118 [Conf]
- Philip J. Hatcher, Thomas W. Christopher
High-Quality Code Generation Via Bottom-Up Tree Pattern Matching. [Citation Graph (0, 0)][DBLP]
POPL, 1986, pp:119-130 [Conf]
- Marina C. Chen
A Parallel Language and its Compilation to Multiprocessor Machines or VLSI. [Citation Graph (0, 0)][DBLP]
POPL, 1986, pp:131-139 [Conf]
- Reino Kurki-Suonio
Towards Programming with Knowledge Expressions. [Citation Graph (0, 0)][DBLP]
POPL, 1986, pp:140-149 [Conf]
- Barbara Liskov, Maurice Herlihy, Lucy Gilbert
Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed Computing. [Citation Graph (0, 0)][DBLP]
POPL, 1986, pp:150-159 [Conf]
- Irene Greif, Robert Seliger, William E. Weihl
Atomic Data Abstractions in a Distributed Collaborative Editing System. [Citation Graph (2, 0)][DBLP]
POPL, 1986, pp:160-172 [Conf]
- Howard Barringer, Ruurd Kuiper, Amir Pnueli
A Really Abstract Concurrent Model and its Temporal Logic. [Citation Graph (0, 0)][DBLP]
POPL, 1986, pp:173-183 [Conf]
- Pierre Wolper
Expressing Interesting Properties of Programs in Propositional Temporal Logic. [Citation Graph (0, 0)][DBLP]
POPL, 1986, pp:184-193 [Conf]
- Pierre America, Jaco de Bakker, Joost N. Kok, Jan J. M. M. Rutten
Operational Semantics of a Parallel Object-Oriented Language. [Citation Graph (0, 0)][DBLP]
POPL, 1986, pp:194-208 [Conf]
- Jia-Huai You, P. A. Subrahmanyam
Equational Logic Programming: An Extension to Equational Programming. [Citation Graph (0, 0)][DBLP]
POPL, 1986, pp:209-218 [Conf]
- Hassan Aït-Kaci, Roger Nasr
Logic and Inheritance. [Citation Graph (2, 0)][DBLP]
POPL, 1986, pp:219-228 [Conf]
- Gregor Snelting, Wolfgang Henhapl
Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis. [Citation Graph (0, 0)][DBLP]
POPL, 1986, pp:229-235 [Conf]
- Nicholas Carriero, David Gelernter, Jerrold Leichter
Distributed Data Structures in Linda. [Citation Graph (0, 0)][DBLP]
POPL, 1986, pp:236-242 [Conf]
- Paul Hudak, Lauren Smith
Para-Functional Programming: A Paradigm for Programming Multiprocessor Systems. [Citation Graph (0, 0)][DBLP]
POPL, 1986, pp:243-254 [Conf]
- Raghu Ramakrishnan, Abraham Silberschatz
Annotations for Distributed Programming in Logic. [Citation Graph (0, 0)][DBLP]
POPL, 1986, pp:255-262 [Conf]
- John C. Mitchell
Representation Independence and Data Abstraction. [Citation Graph (1, 0)][DBLP]
POPL, 1986, pp:263-276 [Conf]
- David B. MacQueen
Using Dependent Types to Express Modular Structure. [Citation Graph (2, 0)][DBLP]
POPL, 1986, pp:277-286 [Conf]
- Albert R. Meyer, Mark B. Reinhold
``Type'' Is Not A Type. [Citation Graph (1, 0)][DBLP]
POPL, 1986, pp:287-295 [Conf]
- Neil D. Jones, Alan Mycroft
Data Flow Analysis of Applicative Programs Using Minimal Function Graphs. [Citation Graph (0, 0)][DBLP]
POPL, 1986, pp:296-306 [Conf]
- Christian Lengauer, Chua-Huang Huang
A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks. [Citation Graph (0, 0)][DBLP]
POPL, 1986, pp:307-317 [Conf]
- Stan Jefferson, Samuel N. Kamin
Executable Specifications with Quantifiers in the FASE System. [Citation Graph (0, 0)][DBLP]
POPL, 1986, pp:318-326 [Conf]
|
