The Illinois functional programming interpreter
No abstract available.
DOI 10.1145/29650.29657
Related papers
- Effective "Static-Graph" Reorganization to Improve Locality in Garbage-Collected Systems PLDI 1991
- Virtual Memory and Backing Storage Management in Multiprocessor Operating Systems Using Object-Oriented Design Techniques OOPSLA 1989
- Denotational Abstract Interpretation of Functional Logic Programs SAS 1997
- A New Class of Functions for Abstract Interpretation SAS 1999
- Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes SAS 2002
- Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs SAS 2016
- Embedding an interpreted language using higher-order functions and types JFP 2011
- Control-flow analysis of function calls and returns by abstract interpretation ICFP 2009