Concepedia

Robert L. Constable

RL

Statistics

Publications

54

Citations

1.9K

H-Index

27

Active since

1966

Affiliations

Cornell University(Current)

Laboratoire d'Informatique de Paris-Nord

University of Toronto

Robert L. Constable is an author at Cornell University specializing in formal methods, engineering, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationProgram AnalysisSoftware AnalysisVerificationProgramming LanguagesComputational Complexity

Publications per year

1966–2024

54

Publications

54

Proofs as programs

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

Engineering, Verification, Software Engineering +20

Building reliable, high-performance communication systems from components

Xiaoming Liu, Christoph Kreitz, Robbert van Renesse et al. · 1999 · 113 citations · Full text

Engineering, Computer Architecture, Fault Tolerance +16

Basic Statistical Methods.

Robert L. Constable, N. M. Downie, R. W. Heath · Journal of the Royal Statistical Society Series A (General) · 1966 · 96 citations

Bayesian Statistics, Statistical Foundation, Statistical Inference +4

Innovations in computational type theory using Nuprl

Stuart F. Allen, Mark Bickford, Robert L. Constable et al. · Journal of Applied Logic · 2005 · 91 citations

Engineering, Generic Programming, Automated Reasoning +4

On Classes of Program Schemata

Robert L. Constable, David Gries · SIAM Journal on Computing · 1972 · 84 citations

1–5 of 54