Pages that link to "Item:Q3535677"
From MaRDI portal
The following pages link to Type-based flow analysis and context-free language reachability (Q3535677):
Displaying 8 items.
- Correctness of static flow analysis in continuation semantics (Q808721) (← links)
- Type systems equivalent to data-flow analyses for imperative languages (Q860844) (← links)
- Type-based information flow analysis for the \(\pi\)-calculus (Q2581011) (← links)
- Specification inference using context-free language reachability (Q2819840) (← links)
- Existential Label Flow Inference Via CFL Reachability (Q3613380) (← links)
- A type-based escape analysis for functional languages (Q4236863) (← links)
- (Q4380998) (← links)
- Type-base flow analysis (Q5178873) (← links)