Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation
No abstract available.
Related papers
- Higher-Order Concurrent Programs with Finite Communication Topology POPL 1994
- Iron: managing obligations in higher-order concurrent separation logic POPL 2019
- Modular verification of concurrent assembly code with dynamic thread creation and termination ICFP 2005
- Crowfoot: A Verifier for Higher-Order Store Programs VMCAI 2012
- Contract-based resource verification for higher-order functions with memoization POPL 2017
- Automatic Verification of Erlang-Style Concurrency SAS 2013
- General Decidability Results for Systems with Continuous Counters POPL 2026
- Local policies for resource usage analysis TOPLAS 2009