1
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... -- Enforcing Resource Bounds via Static Verification of Dynamic Checks -- Asserting Bytecode Safety...

2
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... and Well-Foundedness for the Analysis of Fair Discrete Systems -- An Abstract Interpretation-Based...