Pages that link to "Item:Q860844"
From MaRDI portal
The following pages link to Type systems equivalent to data-flow analyses for imperative languages (Q860844):
Displaying 4 items.
- Program and proof optimizations with type systems (Q953533) (← links)
- From flow logic to static type systems for coordination languages (Q967521) (← links)
- Dead code elimination based pointer analysis for multithreaded programs (Q1939745) (← links)
- Recognition of logically related regions based heap abstraction (Q1942939) (← links)
