Concepedia

Uday S. Reddy

US

25

Publications

1.1K

Citations

17

H-Index

1984

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

University of Birmingham

Queen Mary University of London

Syracuse University

Uday S. Reddy is an author at University of Illinois Urbana-Champaign specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceProgram AnalysisLanguageSemanticsLinguisticsSoftware AnalysisSyntax

Publications per year

1984–2014

25

Publications

25

Narrowing as the Operational Semantics of Functional Languages.

Uday S. Reddy · SLP · 1985 · 181 citations

Syntax, Engineering, Operational Semantics +7

Objects as closures: abstract semantics of object-oriented languages

Uday S. Reddy · 1988 · 127 citations · Full text

Engineering, Software Engineering, Object Orientation +18

Declaration-free type checking

Prateek Mishra, Uday S. Reddy · 1985 · 77 citations

Engineering, Data Type, Automated Reasoning +13

Local reasoning for stateful programs

Uday S. Reddy, Hongseok Yang · 2001 · 68 citations

Program Checking, Engineering, Verification +18

Linear Continuation-Passing

Josh Berdine, Peter W. O’Hearn, Uday S. Reddy et al. · LISP and Symbolic Computation · 2002 · 62 citations

Rows per page

1–5 of 25