Resource-Constrained Model Checking of Recursive Programs
No abstract available.
Related papers
- Analysing memory resource bounds for low-level programs ISMM 2008
- Programming ad-hoc networks of mobile and resource-constrained devices PLDI 2005
- Loop Transformations for Reducing Data Space Requirements of Resource-Constrained Applications SAS 2003
- The Resource Constrained Shortest Path Problem Implemented in a Lazy Functional Language JFP 1996
- A component-based run-time evolution infrastructure for resource-constrained embedded systems GPCE 2010
- Solving constrained Horn clauses modulo algebraic data types and recursive functions POPL 2022
- Resource-guided program synthesis PLDI 2019
- Program Synthesis from Graded Types ESOP 2024