Concepedia

David R. Musser

DR

Statistics

Publications

33

Citations

2.2K

H-Index

20

Active since

1971

Affiliations

Rensselaer Polytechnic Institute(Current)

General Electric (United States)

University of Southern California

University of Wisconsin–Madison

Hewlett-Packard (United States)

David R. Musser is an author at Rensselaer Polytechnic Institute specializing in engineering, computer science, and formal methods.

Top concepts

Publications per year

1971–2013

33

Publications

33

Abstract data types and software validation

John V. Guttag, Ellis Horowitz, David R. Musser · Communications of the ACM · 1978 · 409 citations · Full text

, , +20

Introspective Sorting and Selection Algorithms

David R. Musser · Software Practice and Experience · 1997 · 242 citations

, , +14

On proving inductive properties of abstract data types

David R. Musser · 1980 · 226 citations · Full text

, , +14

Generic programming

David R. Musser, Alexander A. Stepanov · Lecture notes in computer science · 1989 · 140 citations

Abstract Data Type Specification in the Affirm System

David R. Musser · IEEE Transactions on Software Engineering · 1980 · 124 citations

, , +21

1–5 of 33