Christian J. Bell, Andrew W. Appel, David Walker
Concurrent Separation Logic for Pipelined Parallelization
SAS, 2010.
@inproceedings{SAS-2010-BellAW, author = "Christian J. Bell and Andrew W. Appel and David Walker", booktitle = "{Proceedings of the 17th International Static Analysis Symposium}", doi = "10.1007/978-3-642-15769-1_10", isbn = "978-3-642-15768-4", pages = "151--166", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Concurrent Separation Logic for Pipelined Parallelization}", volume = 6337, year = 2010, }