The following pages link to FM 2005: Formal Methods (Q5716916):
Displaying 8 items.
- Cost analysis of object-oriented bytecode programs (Q764297) (← links)
- Program and proof optimizations with type systems (Q953533) (← links)
- A type-based complexity analysis of object oriented programs (Q1640983) (← links)
- For a few dollars more. Verified fine-grained algorithm analysis down to LLVM (Q2233462) (← links)
- Certified Static Analysis by Abstract Interpretation (Q3184788) (← links)
- Certification Using the Mobius Base Logic (Q3602993) (← links)
- Resource usage analysis (Q5178917) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705934) (← links)