Concepedia

Joseph L. Bates

JL

Statistics

Publications

3

Citations

256

H-Index

3

Active since

1979

Affiliations

Cornell University(Current)

Joseph L. Bates is an author at Cornell University specializing in program analysis, automated reasoning, and formal methods.

Top concepts

Publications per year

1979–1985

3

Publications

3

Proofs as programs

Joseph L. Bates, Robert L. Constable · ACM Transactions on Programming Languages and Systems · 1985 · 185 citations

, , +20

Writing programs that construct proofs

Robert L. Constable, Todd B. Knoblock, Joseph L. Bates · Journal of Automated Reasoning · 1985 · 42 citations

, , +8

A Logic for Correct Program Development

Joseph L. Bates · eCommons (Cornell University) · 1979 · 29 citations · Full text

1–3 of 3