A Functional Language for Logarithmic Space
No abstract available.
Related papers
- Logic Programming and Logarithmic Space APLAS 2014
- Derivation of a logarithmic time carry lookahead addition circuit JFP 2004
- Logarithm and program testing POPL 2022
- Incremental Dead State Detection in Logarithmic Time CAV 2023
- Relating complexity and precision in control flow analysis ICFP 2007
- Multi types and reasonable space ICFP 2022
- Multi types and reasonable space JFP 2026
- Fast algorithm for creating space efficient dispatching tables with application to multi-dispatching OOPSLA 2002