dblp.uni-trier.dewww.uni-trier.de

David R. Musser Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
45EEAytekin Vargun, David R. Musser: Code-carrying theory. SAC 2008: 376-383
44EEDavid R. Musser, Gor V. Nishanov: A Fast Generic Sequence Matching Algorithm CoRR abs/0810.0264: (2008)
2006
43EEJosh Bloch, Jaakko Järvi, David R. Musser, Sibylle Schupp, Jeremy G. Siek: LCSD: library-centric software design. OOPSLA Companion 2006: 618
2005
42EEDouglas Gregor, Jaakko Järvi, Mayuresh Kulkarni, Andrew Lumsdaine, David R. Musser, Sibylle Schupp: Generic Programming and High-Performance Libraries. International Journal of Parallel Programming 33(2-3): 145-164 (2005)
2004
41EEJaakko Järvi, Andrew Lumsdaine, D. P. Gregor, Mayuresh Kulkarni, David R. Musser, Sibylle Schupp: Generic Programming and High-Performance Libraries. IPDPS Next Generation Software Program - NSFNGS - PI Workshop 2004
2003
40 Douglas Gregor, Sibylle Schupp, David R. Musser: Design patterns for library optimization. Scientific Programming 11(4): 309-320 (2003)
2002
39 William Klostermeyer, David R. Musser, Arturo J. Sánchez-Ruíz: Complete Traversals as General Iteration Patterns. Generic Programming 2002: 187-206
38EEDavid R. Musser, Zhiqing Shao: Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications. ICFEM 2002: 132-143
37EESibylle Schupp, D. P. Gregor, B. Osman, David R. Musser, Jeremy G. Siek, Lie-Quan Lee, Andrew Lumsdaine: Concept-Based Component Libraries and Optimizing Compilers. IPDPS 2002
36 Sibylle Schupp, Douglas Gregor, David R. Musser, Shin-Ming Liu: Semantic and behavioral library transformations. Information & Software Technology 44(13): 797-810 (2002)
2001
35EESibylle Schupp, Douglas Gregor, David R. Musser, Shin-Ming Liu: User-Extensible Simplification–Type-Based Optimizer Generators. CC 2001: 86-101
34EEDouglas Gregor, Sibylle Schupp, David R. Musser: Base Class Injection. GCSE 2001: 106-117
33EESibylle Schupp, Douglas Gregor, David R. Musser: Library Transformations. SCAM 2001: 111-123
2000
32 Mehdi Jazayeri, Rüdiger Loos, David R. Musser: Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers Springer 2000
1998
31EEDavid R. Musser, Sibylle Schupp, Rüdiger Loos: Requirement Oriented Programming. Generic Programming 1998: 12-24
30EEDavid R. Musser, Arturo J. Sánchez-Ruíz: Theory and Generality of Complete Traversals. Generic Programming 1998: 91-101
29EEEric Gamess, David R. Musser, Arturo J. Sánchez-Ruíz: Complete Traversals and their Implementation Using the Standard Template Library. CLEI Electron. J. 1(2): (1998)
1997
28EEChangqing Wang, David R. Musser: Dynamic Verification of C++ Generic Algorithms. IEEE Trans. Software Eng. 23(5): 314-323 (1997)
27 David R. Musser: Introspective Sorting and Selection Algorithms. Softw., Pract. Exper. 27(8): 983-993 (1997)
1996
26EEÚlfar Erlingsson, Erich Kaltofen, David R. Musser: Generic Gram-Schmidt Orthogonalization by Exact Division. ISSAC 1996: 275-282
1994
25 David R. Musser, Alexander A. Stepanov: Algorithm-oriented Generic Libraries. Softw., Pract. Exper. 24(7): 623-642 (1994)
24 Deepak Kapur, Xumin Nie, David R. Musser: An Overview of the Tecton Proof System. Theor. Comput. Sci. 133(2): 307-339 (1994)
1992
23 Deepak Kapur, David R. Musser, Xumin Nie: The Tecton Proof System. Formal Methods in Databases and Software Engineering 1992: 54-79
1991
22EERaj Agarwal, David R. Musser, Deepak Kapur, Xumin Nie: The Tecton Proof System. RTA 1991: 442-444
21 Deepak Kapur, David R. Musser, Paliath Narendran, Jonathan Stillman: Semi-Unification. Theor. Comput. Sci. 81(2): 169-187 (1991)
1988
20EEDeepak Kapur, David R. Musser, Paliath Narendran, Jonathan Stillman: Semi-Unification. FSTTCS 1988: 435-454
19 David R. Musser, Alexander A. Stepanov: Generic Programming. ISSAC 1988: 13-25
18 Deepak Kapur, David R. Musser, Paliath Narendran: Only Prime Superpositions Need be Considered in the Knuth-Bendix Completion Procedure. J. Symb. Comput. 6(1): 19-36 (1988)
1987
17 Deepak Kapur, David R. Musser: Proof by Consistency. Artif. Intell. 31(2): 125-157 (1987)
1986
16 Deepak Kapur, David R. Musser: Inductive Reasoning with Incomplete Specifications (Preliminary Report) LICS 1986: 367-377
1983
15 John V. Guttag, Deepak Kapur, David R. Musser: On Proving Uniform Termination and Restricted Termination of Rewriting Systems. SIAM J. Comput. 12(1): 189-214 (1983)
14 Erich Kaltofen, David R. Musser, B. David Saunders: A Generalized Class of Polynomials that are Hard to Factor. SIAM J. Comput. 12(3): 473-483 (1983)
1982
13 David R. Musser, Deepak Kapur: Rewrite Rule Theory and Abstract Data Type Analysis. EUROCAM 1982: 77-90
12EEJohn V. Guttag, Deepak Kapur, David R. Musser: Derived Pairs, Overlap Closures, and Rewrite Dominoes: New Tools for Analyzing Term rewriting Systems. ICALP 1982: 300-312
1981
11EEDeepak Kapur, David R. Musser, Alexander A. Stepanov: Tecton: A Language for Manipulating Generic Objects. Program Specification 1981: 402-414
1980
10EERoddy W. Erickson, David R. Musser: The AFFIRM Theorem Prover: Proof Forests and Management of Large Proofs. CADE 1980: 220-231
9 Susan L. Gerhart, David R. Musser, David H. Thompson, D. A. Baker, R. L. Bates, Roddy W. Erickson, R. L. London, D. G. Taylor, David S. Wile: An Overview of AFFIRM: A Specification and Verification System. IFIP Congress 1980: 343-347
8 David R. Musser: On Proving Inductive Properties of Abstract Data Types. POPL 1980: 154-162
7 David R. Musser: Abstract Data Type Specification in the AFFIRM System. IEEE Trans. Software Eng. 6(1): 24-32 (1980)
1978
6 John V. Guttag, Ellis Horowitz, David R. Musser: Abstract Data Types and Software Validation. Commun. ACM 21(12): 1048-1064 (1978)
5EEDavid R. Musser: On the Efficiency of a Polynomial Irreducibility Test. J. ACM 25(2): 271-282 (1978)
1977
4 John V. Guttag, Ellis Horowitz, David R. Musser: Some Extensions to Algebraic Specifications. Language Design for Reliable Software 1977: 63-67
3 George E. Collins, David R. Musser: Analysis of the Pope-Stein Division Algorithm. Inf. Process. Lett. 6(5): 151-155 (1977)
1976
2 John V. Guttag, Ellis Horowitz, David R. Musser: The Design of Data Type Specifications. ICSE 1976: 414-420
1975
1EEDavid R. Musser: Multivariate Polynomial Factorization. J. ACM 22(2): 291-308 (1975)

Coauthor Index

1Raj Agarwal [22]
2D. A. Baker [9]
3R. L. Bates [9]
4Josh Bloch [43]
5George E. Collins [3]
6Roddy W. Erickson [9] [10]
7Úlfar Erlingsson [26]
8Eric Gamess [29]
9Susan L. Gerhart [9]
10D. P. Gregor [37] [41]
11Douglas Gregor [33] [34] [35] [36] [40] [42]
12John V. Guttag [2] [4] [6] [12] [15]
13Ellis Horowitz [2] [4] [6]
14Jaakko Järvi [41] [42] [43]
15Mehdi Jazayeri [32]
16Erich Kaltofen [14] [26]
17Deepak Kapur [11] [12] [13] [15] [16] [17] [18] [20] [21] [22] [23] [24]
18William Klostermeyer [39]
19Mayuresh Kulkarni [41] [42]
20Lie-Quan Lee [37]
21Shin-Ming Liu [35] [36]
22R. L. London [9]
23Rüdiger Loos [31] [32]
24Andrew Lumsdaine [37] [41] [42]
25Paliath Narendran [18] [20] [21]
26Xumin Nie [22] [23] [24]
27Gor V. Nishanov [44]
28B. Osman [37]
29Arturo J. Sánchez-Ruíz [29] [30] [39]
30B. David Saunders [14]
31Sibylle Schupp [31] [33] [34] [35] [36] [37] [40] [41] [42] [43]
32Zhiqing Shao [38]
33Jeremy G. Siek [37] [43]
34Alexander A. Stepanov [11] [19] [25]
35Jonathan Stillman [20] [21]
36D. G. Taylor [9]
37David H. Thompson [9]
38Aytekin Vargun [45]
39Changqing Wang [28]
40David S. Wile [9]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)