×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [refinement types]
Technology
Academia
929 views
Documents
Type-based termination analysis with disjunctive invariants Dimitrios Vytiniotis, MSR Cambridge with Byron Cook (MSR Cambridge) and Ranjit Jhala (UCSD)
220 views
Documents
Scheme to Type Theory
224 views
Documents
Nikolaj Bjørner Microsoft Research FSE &. Using Decision Engines for Software @ Microsoft. Dynamic Symbolic Execution Bit-precise Scalable Static Analysis
219 views
Documents
Applications of SMT Solving at Microsoft
30 views
Documents
Type-based termination analysis with disjunctive invariants
39 views