Demo
Code
About
Blog
Archives

RSS

LiquidHaskell

Refinement Types via SMT and Predicate Abstraction

Category: Abstract-refinements

2013

Abstracting Over Refinements

Jun 03 2013

posted in abstract-refinements

Recent Posts
Pointers Gone Wild
Text Bug
Text Write
Text Read
Text Internals

GitHub Repos
Status updating...

@ucsd-progsys on GitHub

Latest Tweets
Status updating...

Follow @ranjitjhala

Google+

Copyright © 2014 - UCSD-PL - Research funded by the NSF and gifts from Microsoft Research. Pages powered by Octopress

Site Meter