Pages that link to "Item:Q860844"

The following pages link to Type systems equivalent to data-flow analyses for imperative languages (Q860844):

Displaying 2 items.

• Program and proof optimizations with type systems (Q953533) (← links)
• From flow logic to static type systems for coordination languages (Q967521) (← links)