Concepedia

Richard A. De Millo

RA

3

Publications

672

Citations

3

H-Index

1979

Active since

Affiliations

Georgia Institute of Technology(Current)

Yale University

Richard A. De Millo is an author at Georgia Institute of Technology specializing in social proof, formal methods, and program analysis.

Top concepts

Publications per year

1979–1991

3

Publications

3

Social processes and proofs of theorems and programs

Richard A. De Millo, Richard J. Lipton, Alan J. Perlis · Communications of the ACM · 1979 · 531 citations · Full text

, , +21

An execution-backtracking approach to debugging

Hiralal Agrawal, Richard A. De Millo, Eugene H. Spafford · IEEE Software · 1991 · 118 citations

, , +20

Social processes and proofs of theorems and programs

Richard A. De Millo, Richard J. Upton, Alan J. Perlis · The Mathematical Intelligencer · 1980 · 23 citations

, , +5

Rows per page

1–3 of 3