Pages that link to "Item:Q953533"
From MaRDI portal
The following pages link to Program and proof optimizations with type systems (Q953533):
Displaying 6 items.
- Proof optimization for partial redundancy elimination (Q843219) (← links)
- A compositional natural semantics and Hoare logic for low-level languages (Q877026) (← links)
- Dead code elimination based pointer analysis for multithreaded programs (Q1939745) (← links)
- Recognition of logically related regions based heap abstraction (Q1942939) (← links)
- Certificates and Separation Logic (Q2830040) (← links)
- Relational Decomposition (Q3087994) (← links)
