Simple Semantic Analysis Problems for Functional Programs
Abstract
No abstract available.
Related papers
- A Type-Based Escape Analysis for Functional Languages JFP 1998
- Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games TACAS 2026
- A Straightforward Denotational Semantics for Non-Determinant Data Flow Programs POPL 1978
- Computation semantics of the functional scientific workflow language Cuneiform JFP 2017
- Interpolation-Based Semantic Gate Extraction and Its Applications to QBF Preprocessing CAV 2020
- The Semantics of Future and Its Use in Program Optimizations POPL 1995
- Relating complexity and precision in control flow analysis ICFP 2007
- Packrat parsing: : simple, powerful, lazy, linear time, functional pearl ICFP 2002