☰

David R. Musser - Publications

Affiliations: 
Rensselaer Polytechnic Institute, Troy, NY, United States 
Area:
Computer Science
Tree Info Similar researchers PubMed Report error

14 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2008 Vargun A, Musser DR. Code-carrying theory Proceedings of the Acm Symposium On Applied Computing. 376-383. DOI: 10.1145/1363686.1363780  0.337
2005 Gregor D, Järvi J, Kulkarni M, Lumsdaine A, Musser D, Schupp S. Generic programming and high-performance libraries International Journal of Parallel Programming. 33: 145-164. DOI: 10.1007/S10766-005-3580-8  0.428
2002 Schupp S, Gregor D, Musser D, Liu SM. Semantic and behavioral library transformations Information and Software Technology. 44: 797-810. DOI: 10.1016/S0950-5849(02)00122-2  0.458
1998 Gamess E, Musser DR, Sánchez-Ruíz AJ. Complete Traversals and their Implementation Using the Standard Template Library Clei Electronic Journal. 1. DOI: 10.19153/Cleiej.1.2.4  0.312
1997 Wang C, Musser DR. Dynamic verification of C++ generic algorithms Ieee Transactions On Software Engineering. 23: 314-323. DOI: 10.1109/32.588523  0.352
1994 Kapur D, Nie X, Musser DR. An overview of the Tecton proof system Theoretical Computer Science. 133: 307-339. DOI: 10.1016/0304-3975(94)90192-9  0.314
1994 Musser DR, Stepanov AA. Algorithm-oriented generic libraries Software - Practice and Experience. 24: 623-642. DOI: 10.1002/Spe.4380240703  0.361
1987 Kapur D, Musser DR. Proof by consistency Artificial Intelligence. 31: 125-157. DOI: 10.1016/0004-3702(87)90017-8  0.372
1983 Kaltofen E, Musser DR, Saunders BD. A Generalized Class of Polynomials that are Hard to Factor Siam Journal On Computing. 12: 473-483. DOI: 10.1137/0212031  0.314
1983 Guttag JV, Kapur D, Musser DR. On Proving Uniform Termination and Restricted Termination of Rewriting Systems Siam Journal On Computing. 12: 189-214. DOI: 10.1137/0212012  0.338
1980 Musser DR. Abstract Data Type Specification in the AFFIRM System Ieee Transactions On Software Engineering. 24-32. DOI: 10.1109/Tse.1980.230459  0.321
1978 Guttag JV, Horowitz E, Musser DR. Abstract Data Types and Software Validation Communications of the Acm. 21: 1048-1064. DOI: 10.1145/359657.359666  0.42
1977 Guttag JV, Horowitz E, Musser DR. Some extensions to algebraic specifications Acm Sigplan Notices. 12: 63-67. DOI: 10.1145/390019.808312  0.328
1975 Musser DR. Multivariate Polynomial Factorization Journal of the Acm (Jacm). 22: 291-308. DOI: 10.1145/321879.321890  0.304
Show low-probability matches.