Session details: Relating and integrating static and dynamic checks
Abstract
Recommendations
Enforcing resource bounds via static verification of dynamic checks
Special Issue ESOP'05We show how to limit a program's resource usage in an efficient way, using a novel combination of dynamic checks and static analysis. Usually, dynamic checking is inefficient due to the overhead of checks, while static analysis is difficult and rejects ...
Enforcing resource bounds via static verification of dynamic checks
ESOP'05: Proceedings of the 14th European conference on Programming Languages and SystemsWe classify existing approaches to resource-bounds checking as static or dynamic. Dynamic checking performs checks during program execution, while static checking performs them before execution. Dynamic checking is easy to implement but incurs runtime ...
Comments
Information & Contributors
Information
Published In

- General Chair:
- Manuel Hermenegildo,
- Program Chair:
- Jens Palsberg
Sponsors
In-Cooperation
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Qualifiers
- Section
Conference
Acceptance Rates
Upcoming Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0