Another Implementation Technique for Applicative Languages
No abstract available.
Related papers
- Reachability Analysis for Termination and Confluence of Rewriting TACAS 2019
- Partial Evaluation as a Means for Inferencing Data Structures in an Applicative Language: A Theory and Implementation in the Case of Prolog POPL 1982
- Eliminating synchronization-related atomic operations with biased locking and bulk rebiasing OOPSLA 2006
- Tree transformation techniques and experiences PLDI 1984
- Memory Access Coalescing: A technique for Eliminating Redundant memory Accesses PLDI 1994
- How To Invent Distributed Implementation Schemes of an Object-Based Concurrent Language: A Transformational Approach OOPSLA 1988
- Composing parallel software efficiently with lithe PLDI 2010
- Axiomatic Bootstrapping: A Guide for Compiler Hackers TOPLAS 1994