×
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
935 views
Documents
Type-based termination analysis with disjunctive invariants Dimitrios Vytiniotis, MSR Cambridge with Byron Cook (MSR Cambridge) and Ranjit Jhala (UCSD)
221 views
Documents
Scheme to Type Theory
225 views
Documents
Nikolaj Bjørner Microsoft Research FSE &. Using Decision Engines for Software @ Microsoft. Dynamic Symbolic Execution Bit-precise Scalable Static Analysis
225 views
Documents
Applications of SMT Solving at Microsoft
97 views
Documents
Type-based termination analysis with disjunctive invariants
48 views