Demo
Code
About
Blog
Archives

RSS

LiquidHaskell

Refinement Types via SMT and Predicate Abstraction

Category: Ordering

2013

Lexicographic Termination

Dec 15 2013

posted in lexicographic, ordering, termination,

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