Uday S. Reddy

According to our database, Uday S. Reddy authored at least 46 papers between 1982 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

Bisimulation as a logical relation.

Claudio Hermida, Uday S. Reddy, Edmund Robinson, Alessio Santamaria

Math. Struct. Comput. Sci., April, 2022

2019

Deriving Logical Relations from Interpretations of Predicate Logic.

Claudio Hermida, Uday S. Reddy, Edmund P. Robinson

Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, 2019

2014

The Essence of Reynolds.

Stephen Brookes, Peter W. O'Hearn, Uday S. Reddy

Formal Aspects Comput., 2014

2013

Automata-Theoretic Semantics of Idealized Algol with Passive Expressions.

Uday S. Reddy

Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

Logical Relations and Parametricity - A Reynolds Programme for Category Theory and Programming Languages.

Claudio Hermida, Uday S. Reddy, Edmund P. Robinson

Proceedings of the Workshop on Algebra, Coalgebra and Topology, 2013

2012

Syntactic control of interference for separation logic.

Uday S. Reddy, John C. Reynolds

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

An Automata-Theoretic Model of Idealized Algol - (Extended Abstract).

Uday S. Reddy, Brian P. Dunphy

Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012

2011

Fine-grained Concurrency with Separation Logic.

Kalpesh Kapoor, Kamal Lodaya, Uday S. Reddy

J. Philos. Log., 2011

2004

Correctness of data representations involving heap data structures.

Uday S. Reddy, Hongseok Yang

Sci. Comput. Program., 2004

Parametric Limits.

Brian P. Dunphy, Uday S. Reddy

Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

2002

Linear Continuation-Passing.

Josh Berdine, Peter W. O'Hearn, Uday S. Reddy, Hayo Thielecke

High. Order Symb. Comput., 2002

Objects and Classes in Algol-Like Languages.

Uday S. Reddy

Inf. Comput., 2002

2000

On the Semantics of Refinement Calculi.

Hongseok Yang, Uday S. Reddy

Proceedings of the Foundations of Software Science and Computation Structures, 2000

1996

Global State Considered Unnecessary: An Introduction to Object-Based Semantics.

Uday S. Reddy

LISP Symb. Comput., 1996

Induction Using Term Orders.

François Bronsard, Uday S. Reddy, Robert W. Hasker

J. Autom. Reason., 1996

Imperative Functional Programming.

Uday S. Reddy

ACM Comput. Surv., 1996

ICC++-AC++ Dialect for High Performance Parallel Computing.

Andrew A. Chien, Uday S. Reddy, John Plevyak, Julian Dolby

Proceedings of the Object Technologies for Advanced Software, 1996

1995

Objects, interference and the Yoneda embedding.

Peter W. O'Hearn, Uday S. Reddy

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995

Bridging the gap between logic and functional programming (Panel Abstract).

Uday S. Reddy

Proceedings of the Logic Programming, 1995

Type Reconstruction for SCI.

Howard Huang, Uday S. Reddy

Proceedings of the Functional Programming, Glasgow, UK, 1995, 1995

1994

Passivity and Independence

Uday S. Reddy

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

Higher-order Aspects of Logic Programming.

Uday S. Reddy

Proceedings of the Logic Programming, 1994

Induction using Term Orderings.

François Bronsard, Uday S. Reddy, Robert W. Hasker

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993

Deductive and Inductive Synthesis of Equational Programs.

Nachum Dershowitz, Uday S. Reddy

J. Symb. Comput., 1993

On the Power of Abstract Interpretation.

Uday S. Reddy, Samuel N. Kamin

Comput. Lang., 1993

1992

A Framework of Directionality for Proving Termination of Logic Programs.

François Bronsard, T. K. Lakshman, Uday S. Reddy

Proceedings of the Logic Programming, 1992

A Typed Foundation for Directional Logic Programming.

Uday S. Reddy

Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992

Reduction Techniques for First-Order Reasoning.

François Bronsard, Uday S. Reddy

Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992

1991

Typed Prolog: A Semantic Reconstruction of the Mycroft-O'Keefe Type System.

T. L. Lakshman, Uday S. Reddy

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

Assignments for Applicative Languages.

Vipin Swarup, Uday S. Reddy, Evan Ireland

Proceedings of the Functional Programming Languages and Computer Architecture, 1991

A Logical View of Assignments.

Vipin Swarup, Uday S. Reddy

Proceedings of the Constructivity in Computer Science, 1991

1990

Types for Logic Programs.

Uday S. Reddy

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

Formal methods in transformational derivation of programs.

Uday S. Reddy

Proceedings of the Conference proceedings on Formal methods in software development, 1990

Term Rewriting Induction.

Uday S. Reddy

Proceedings of the 10th International Conference on Automated Deduction, 1990

Axiomatization of a Functional Logic Language.

François Bronsard, Uday S. Reddy

Proceedings of the Algebraic and Logic Programming, 1990

1989

Inference of Polymorphic Types for Logic Programs.

Changwoo Pyo, Uday S. Reddy

Proceedings of the Logic Programming, 1989

Rewriting Techniques for Program Synthesis.

Uday S. Reddy

Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

1988

Transformational Derivation of Programs Using the Focus System.

Uday S. Reddy

Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988

Objects as Closures: Abstract Semantics of Object-Oriented Languages.

Uday S. Reddy

Proceedings of the 1988 ACM Conference on LISP and Functional Programming, 1988

1986

Functional logic languages, Part I.

Uday S. Reddy

Proceedings of the Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29, 1986

On the Relationship Between Logic and Functional Languages.

Uday S. Reddy

Proceedings of the Logic Programming: Functions, Relations, and Equations, 1986

1985

Narrowing as the Operational Semantics of Functional Languages.

Uday S. Reddy

Proceedings of the 1985 Symposium on Logic Programming, 1985

Declaration-Free Type Checking.

Prateek Mishra, Uday S. Reddy

Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985

1984

Transformation of Logic Programs into Functional Programs.

Uday S. Reddy

Proceedings of the 1984 International Symposium on Logic Programming, 1984

1983

Theory of Linear Equations Applied to Program Transformation.

Uday S. Reddy, Bharat Jayaraman

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982

Programming with sequences.

Uday S. Reddy

Proceedings of the 20th Annual Southeast Regional Conference, 1982