On Stratified Regions
No abstract available.
Related papers
- Stratified operational semantics for safety and correctness of the region calculus POPL 2001
- Stratified type inference for generalized algebraic data types POPL 2006
- Stratified Functional Programs and Computational Complexity POPL 1993
- Type Universes as Kripke Worlds ICFP 2025
- Stratified Abstraction of Access Control Policies CAV 2020
- Stratified Commutativity in Verification Algorithms for Concurrent Programs POPL 2023
- Stratified Type Theory ESOP 2025
- An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs TOPLAS 1998