logo
The Digital Librarian's Digital Library
DOCIS Documents in Computing and Information Science
 
Home >> Journals and Conference Proceedings >> ACM Transactions on Programming Languages and Systems
 
 
Polymorphic predicate abstraction
 
Thomas Ball, Todd D. Millstein, Sriram K. Rajamani
 
Journal Title: ACM Transactions on Programming Languages and Systems
Date: 2005
Volume: 27
Issue: 2
p. 314 - 343
 
 
 
For further information about this item go to:
http://doi.acm.org/10.1145/1057391
 
 
This data comes from DBLP
[SWISH++]Valid XHTML 1.0!
This page is maintained by Angela Cornwell and Thomas Krichel.
It was last updated on 2006-04-12