Stratified Functional Programs and Computational Complexity
Abstract
We develop two notions of stratified recur-1 introduction rence.The first is predicative recurrence, and is similar to
Related papers
- An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs TOPLAS 1998
- Stratified Abstraction of Access Control Policies CAV 2020
- Stratified Type Theory ESOP 2025
- Stratified operational semantics for safety and correctness of the region calculus POPL 2001
- Stratified synthesis: automatically learning the x86-64 instruction set PLDI 2016
- Stratified Commutativity in Verification Algorithms for Concurrent Programs POPL 2023
- On Stratified Regions APLAS 2009
- Stratified type inference for generalized algebraic data types POPL 2006