Certifiably Sound Parallelizing Transformations

Certified Programs and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-319-03545-1_15 ◽

2013 ◽

pp. 227-242

Author(s):

Christian J. Bell

Download Full-text