David R. Musser
Affiliations: | Rensselaer Polytechnic Institute, Troy, NY, United States |
Area:
Computer ScienceGoogle:
"David Musser"
BETA: Related publications
See more...
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 |