The following pages link to FM 2005: Formal Methods (Q5716916):
Displaying 5 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)
- Certified Static Analysis by Abstract Interpretation (Q3184788) (← links)
- Certification Using the Mobius Base Logic (Q3602993) (← links)