Search for Author All Reviews
	Musser, David     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       Fundamental proof methods in computer science: a computer-based approach Arkoudas K., Musser D., MIT Press, Cambridge, MA, 2017.  Type: Book (9780262035538) An introduction to proof methods in computer science (CS), this book is set apart from other by its reliance on an interactive theorem prover (called Athena) to achieve the task....... Sep 21 2017     Generic programming and high-performance libraries Gregor D., Järvi J., Kulkarni M., Lumsdaine A., Musser D., Schupp S. International Journal of Parallel Programming 33(2): 145-164, 2005.  Type: Article It isn’t clear how this paper relates to the journal in which it appears. Parallel programming does not appear in this 20-page paper before page 16, where it is discussed for a little over a page. Moreover, the abstract does ...... Jul 6 2007
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy