Refinement Types for Incremental Computational Complexity
Abstract elided by the publisher.
Related papers
- A type theory for incremental computational complexity with control flow changes ICFP 2016
- Incremental Computation of Complex Objects Queries OOPSLA 2001
- Efficient Incremental GR(1) Synthesis via Monotonic Fixed-Point Reuse OOPSLA 2026
- Incremental Certified Programming OOPSLA 2025
- Pushouts in software architecture design GPCE 2012
- ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction - (Competition Contribution) TACAS 2025
- Incremental Computation of Dominator Trees TOPLAS 1997
- Monitoring refinement via symbolic reasoning PLDI 2015