David R. Musser

Rensselaer Polytechnic Institute, Troy, NY, United States 
Computer Science
"David Musser"
BETA: Related publications


You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Vargun A, Musser DR. (2008) Code-carrying theory Proceedings of the Acm Symposium On Applied Computing. 376-383
Gregor D, Järvi J, Kulkarni M, et al. (2005) Generic programming and high-performance libraries International Journal of Parallel Programming. 33: 145-164
Schupp S, Gregor D, Musser D, et al. (2002) Semantic and behavioral library transformations Information and Software Technology. 44: 797-810
Gamess E, Musser DR, Sánchez-Ruíz AJ. (1998) Complete Traversals and their Implementation Using the Standard Template Library Clei Electronic Journal. 1
Wang C, Musser DR. (1997) Dynamic verification of C++ generic algorithms Ieee Transactions On Software Engineering. 23: 314-323
Kapur D, Nie X, Musser DR. (1994) An overview of the Tecton proof system Theoretical Computer Science. 133: 307-339
Musser DR, Stepanov AA. (1994) Algorithm-oriented generic libraries Software - Practice and Experience. 24: 623-642
Kapur D, Musser DR. (1987) Proof by consistency Artificial Intelligence. 31: 125-157
Kaltofen E, Musser DR, Saunders BD. (1983) A Generalized Class of Polynomials that are Hard to Factor Siam Journal On Computing. 12: 473-483
Guttag JV, Kapur D, Musser DR. (1983) On Proving Uniform Termination and Restricted Termination of Rewriting Systems Siam Journal On Computing. 12: 189-214
See more...