Byron Cook
Ranking abstractions
Our paper entitled "Ranking abstractions" will appear at
ESOP'08
. Here's the submitted
draft
, a final version is in preparation.
Newer Post
Older Post
Home