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