Concepedia

Richard Kelsey

RK

11

Publications

1K

Citations

11

H-Index

1986

Active since

Affiliations

Yale University(Current)

Tektronix (United States)

Massachusetts Institute of Technology

Richard Kelsey is an author at Yale University specializing in formal methods, computer science, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisFormal VerificationCompilersSoftware AnalysisSoftware EngineeringSoftware DesignComputer Engineering

Publications per year

1986–2004

11

Publications

11

Orbit

David Kranz, Richard Kelsey, Jonathan Rees et al. · ACM SIGPLAN Notices · 2004 · 259 citations

Engineering, Cps Conversion, Compiler Technology +17

ORBIT: an optimizing compiler for scheme

Norman I. Adams, David Kranz, Richard Kelsey et al. · 1986 · 209 citations

ORBIT: an optimizing compiler for scheme

Norman I. Adams, David Kranz, Richard Kelsey et al. · ACM SIGPLAN Notices · 1986 · 114 citations · Full text

Engineering, Compiler Technology, Computer Architecture +17

A correspondence between continuation passing style and static single assignment form

Richard Kelsey · 1995 · 89 citations

Engineering, Compiler Technology, Software Engineering +20

Higher-order distributed objects

Henry Cejtin, Suresh Jagannathan, Richard Kelsey · ACM Transactions on Programming Languages and Systems · 1995 · 70 citations · Full text

Engineering, Distributed Programming, Distributed Algorithms +17

Rows per page

1–5 of 11