The following pages link to Programming Languages and Systems (Q5316577):
Displaying 6 items.
- Type systems equivalent to data-flow analyses for imperative languages (Q860844) (← links)
- Type inference and strong static type checking for Promela (Q988201) (← links)
- Dead code elimination based pointer analysis for multithreaded programs (Q1939745) (← links)
- Typing Weak MSOL Properties (Q2949449) (← links)
- Finite Combinatory Logic with Intersection Types (Q3007665) (← links)
- A very modal model of a modern, major, general type system (Q3189790) (← links)