The following pages link to Ranjit Jhala (Q2225085):
Displaying 8 items.
- Stratified abstraction of access control policies (Q2225096) (← links)
- Predicate Abstraction for Linked Data Structures (Q2796037) (← links)
- Refinement types for Haskell (Q2819690) (← links)
- Nested refinements (Q2942876) (← links)
- Bounded refinement types (Q2981942) (← links)
- Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong) (Q2985773) (← links)
- Predicate Abstraction for Program Verification (Q3176373) (← links)
- Interprocedural analysis of asynchronous programs (Q3189813) (← links)
