David R. Musser

According to our database, David R. Musser authored at least 53 papers between 1973 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Structured reasoning about actor systems.

David R. Musser, Carlos A. Varela

Proceedings of the 2013 Workshop on Programming based on Actors, 2013

2008

A Fast Generic Sequence Matching Algorithm

David R. Musser, Gor V. Nishanov

CoRR, 2008

Code-carrying theory.

Aytekin Vargun, David R. Musser

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

2006

LCSD: library-centric software design.

Josh Bloch, Jaakko Järvi, David R. Musser, Sibylle Schupp, Jeremy G. Siek

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

A Secure Programming Paradigm for Network Virtualization.

Ana L. Milanova, Sonia Fahmy, David R. Musser, Bülent Yener

Proceedings of the 3rd International Conference on Broadband Communications, 2006

2005

Generic Programming and High-Performance Libraries.

Douglas P. Gregor, Jaakko Järvi, Mayuresh Kulkarni, Andrew Lumsdaine, David R. Musser, Sibylle Schupp

Int. J. Parallel Program., 2005

2003

Design patterns for library optimization.

Douglas P. Gregor, Sibylle Schupp, David R. Musser

Sci. Program., 2003

2002

Semantic and behavioral library transformations.

Sibylle Schupp, Douglas P. Gregor, David R. Musser, Shin-Ming Liu

Inf. Softw. Technol., 2002

Concept-Based Component Libraries and Optimizing Compilers.

Sibylle Schupp, Douglas P. Gregor, B. Osman, David R. Musser, Jeremy G. Siek, Lie-Quan Lee, Andrew Lumsdaine

Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

Complete Traversals as General Iteration Patterns.

William Klostermeyer, David R. Musser, Arturo J. Sánchez-Ruíz

Proceedings of the Generic Programming, 2002

Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications.

David R. Musser, Zhiqing Shao

Proceedings of the Formal Methods and Software Engineering, 2002

2001

Library Transformations.

Sibylle Schupp, Douglas P. Gregor, David R. Musser

Proceedings of the 1st IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2001), 2001

Base Class Injection.

Douglas P. Gregor, Sibylle Schupp, David R. Musser

Proceedings of the Generative and Component-Based Software Engineering, 2001

User-Extensible Simplification - Type-Based Optimizer Generators.

Sibylle Schupp, Douglas P. Gregor, David R. Musser, Shin-Ming Liu

Proceedings of the Compiler Construction, 10th International Conference, 2001

1998

Complete Traversals and their Implementation Using the Standard Template Library.

Eric Gamess, David R. Musser, Arturo J. Sánchez-Ruíz

CLEI Electron. J., 1998

Requirement Oriented Programming.

David R. Musser, Sibylle Schupp, Rüdiger Loos

Proceedings of the Generic Programming, 1998

Theory and Generality of Complete Traversals.

David R. Musser, Arturo J. Sánchez-Ruíz

Proceedings of the Generic Programming, 1998

1997

Dynamic Verification of C++ Generic Algorithms.

Changqing Wang, David R. Musser

IEEE Trans. Software Eng., 1997

Introspective Sorting and Selection Algorithms.

David R. Musser

Softw. Pract. Exp., 1997

1996

Generic Gram-Schmidt Orthogonalization by Exact Division.

Úlfar Erlingsson, Erich L. Kaltofen, David R. Musser

Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, 1996

STL tutorial and reference guide - C++ programming with the standard template library.

David R. Musser, Atul Saini

Addison-Wesley professional computing series, Addison-Wesley, ISBN: 978-0-201-63398-6, 1996

1994

An Overview of the Tecton Proof System.

Deepak Kapur, Xumin Nie, David R. Musser

Theor. Comput. Sci., 1994

Algorithm-oriented Generic Libraries.

David R. Musser, Alexander A. Stepanov

Softw. Pract. Exp., 1994

1992

The Tecton Proof System.

Deepak Kapur, David R. Musser, Xumin Nie

Proceedings of the Formal Methods in Databases and Software Engineering, 1992

1991

Semi-Unification.

Deepak Kapur, David R. Musser, Paliath Narendran, Jonathan Stillman

Theor. Comput. Sci., 1991

The Tecton Proof System.

Raj Agarwal, David R. Musser, Deepak Kapur, Xumin Nie

Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991

1988

Only Prime Superpositions Need be Considered in the Knuth-Bendix Completion Procedure.

Deepak Kapur, David R. Musser, Paliath Narendran

J. Symb. Comput., 1988

Generic Programming.

David R. Musser, Alexander A. Stepanov

Proceedings of the Symbolic and Algebraic Computation, 1988

1987

Proof by Consistency.

Deepak Kapur, David R. Musser

Artif. Intell., 1987

A library of generic algorithms in Ada.

David R. Musser, Alexander A. Stepanov

Proceedings of the 1987 Annual ACM SIGAda International Conference on Ada, 1987

1986

Inductive Reasoning with Incomplete Specifications (Preliminary Report)

Deepak Kapur, David R. Musser

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

1985

AIDS to hierarchical specification structuring and reusing theorems in AFFIRM-85.

David R. Musser

ACM SIGSOFT Softw. Eng. Notes, 1985

Reasoning about three dimensional space.

Deepak Kapur, Joseph L. Mundy, David R. Musser, Paliath Narendran

Proceedings of the 1985 IEEE International Conference on Robotics and Automation, 1985

1983

A Generalized Class of Polynomials that are Hard to Factor.

Erich L. Kaltofen, David R. Musser, B. David Saunders

SIAM J. Comput., 1983

On Proving Uniform Termination and Restricted Termination of Rewriting Systems.

John V. Guttag, Deepak Kapur, David R. Musser

SIAM J. Comput., 1983

1982

Derived Pairs, Overlap Closures, and Rewrite Dominoes: New Tools for Analyzing Term rewriting Systems.

John V. Guttag, Deepak Kapur, David R. Musser

Proceedings of the Automata, 1982

Rewrite Rule Theory and Abstract Data Type Analysis.

David R. Musser, Deepak Kapur

Proceedings of the Computer Algebra, 1982

1981

Operators and algebraic structures.

Deepak Kapur, David R. Musser, Alexander A. Stepanov

Proceedings of the 1981 conference on Functional programming languages and computer architecture, 1981

Tecton: A Language for Manipulating Generic Objects.

Deepak Kapur, David R. Musser, Alexander A. Stepanov

Proceedings of the Program Specification, 1981

1980

Abstract Data Type Specification in the AFFIRM System.

David R. Musser

IEEE Trans. Software Eng., 1980

On Proving Inductive Properties of Abstract Data Types.

David R. Musser

Proceedings of the Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, 1980

An Overview of AFFIRM: A Specification and Verification System.

Susan L. Gerhart, David R. Musser, David H. Thompson, D. A. Baker, R. L. Bates, Roddy W. Erickson, Ralph L. London, D. G. Taylor, David S. Wile

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

The AFFIRM Theorem Prover: Proof Forests and Management of Large Proofs.

Roddy W. Erickson, David R. Musser

Proceedings of the 5th Conference on Automated Deduction, 1980

1978

On the Efficiency of a Polynomial Irreducibility Test.

David R. Musser

J. ACM, 1978

Abstract Data Types and Software Validation.

John V. Guttag, Ellis Horowitz, David R. Musser

Commun. ACM, 1978

1977

Analysis of the Pope-Stein Division Algorithm.

George E. Collins, David R. Musser

Inf. Process. Lett., 1977

Some Extensions to Algebraic Specifications.

John V. Guttag, Ellis Horowitz, David R. Musser

Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), 1977

1976

The Design of Data Type Specifications.

John V. Guttag, Ellis Horowitz, David R. Musser

Proceedings of the 2nd International Conference on Software Engineering, 1976

SIGSAM (Tutorial Session).

John D. Lipson, Ellis Horowitz, David R. Musser

Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

1975

Multivariate Polynomial Factorization.

David R. Musser

J. ACM, 1975

1974

SAC-1 solution of problem #7.

George E. Collins, David R. Musser, Michael Rothstein

SIGSAM Bull., 1974

The application of a symbolic mathematical system to program verification.

Ralph L. London, David R. Musser

Proceedings of the 1974 ACM Annual Conference, 1974

1973

New directions in teaching the fundamentals of computer science - discrete structures and computational analysis.

Raymond T. Yeh, Donald I. Good, David R. Musser

Proceedings of the 3rd SIGCSE Technical Symposium on Computer Science Education, 1973