×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [refinement types]
Home >
refinement types
Academia
929 views
Type-based termination analysis with disjunctive invariants Dimitrios Vytiniotis, MSR Cambridge with Byron Cook (MSR Cambridge) and Ranjit Jhala (UCSD)
220 views
Scheme to Type Theory
224 views
Nikolaj Bjørner Microsoft Research FSE &. Using Decision Engines for Software @ Microsoft. Dynamic Symbolic Execution Bit-precise Scalable Static Analysis.
220 views
Applications of SMT Solving at Microsoft
31 views
Type-based termination analysis with disjunctive invariants
40 views