A Simple, Verified Validator for Software Pipelining
ACM SIGPLAN Notices - United States
doi 10.1145/1707801.1706311
Full Text
Open PDFAbstract
Available in full text
Categories
Date
January 2, 2010
Authors
Publisher
Association for Computing Machinery (ACM)