Uday S. Reddy

Affiliations:
  • University of Birmingham, UK


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Bisimulation as a logical relation.
Math. Struct. Comput. Sci., April, 2022

2019
Deriving Logical Relations from Interpretations of Predicate Logic.
Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, 2019

2014
The Essence of Reynolds.
Formal Aspects Comput., 2014

2013
Automata-Theoretic Semantics of Idealized Algol with Passive Expressions.
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.
Proceedings of the Workshop on Algebra, Coalgebra and Topology, 2013

2012
Syntactic control of interference for separation logic.
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

An Automata-Theoretic Model of Idealized Algol - (Extended Abstract).
Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012

2011
Fine-grained Concurrency with Separation Logic.
J. Philos. Log., 2011

2004
Correctness of data representations involving heap data structures.
Sci. Comput. Program., 2004

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

2002
Linear Continuation-Passing.
High. Order Symb. Comput., 2002

Objects and Classes in Algol-Like Languages.
Inf. Comput., 2002

2000
On the Semantics of Refinement Calculi.
Proceedings of the Foundations of Software Science and Computation Structures, 2000

1999
Objects, Interference, and the Yoneda Embedding.
Theor. Comput. Sci., 1999

1996
Global State Considered Unnecessary: An Introduction to Object-Based Semantics.
LISP Symb. Comput., 1996

Induction Using Term Orders.
J. Autom. Reason., 1996

Imperative Functional Programming.
ACM Comput. Surv., 1996

ICC++-AC++ Dialect for High Performance Parallel Computing.
Proceedings of the Object Technologies for Advanced Software, 1996

1995
Bridging the gap between logic and functional programming (Panel Abstract).
Proceedings of the Logic Programming, 1995

Type Reconstruction for SCI.
Proceedings of the Functional Programming, Glasgow, UK, 1995, 1995

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

Higher-order Aspects of Logic Programming.
Proceedings of the Logic Programming, 1994

Induction using Term Orderings.
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.
J. Symb. Comput., 1993

On the Power of Abstract Interpretation.
Comput. Lang., 1993

1992
A Framework of Directionality for Proving Termination of Logic Programs.
Proceedings of the Logic Programming, 1992

A Typed Foundation for Directional Logic Programming.
Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992

Reduction Techniques for First-Order Reasoning.
Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992

1991
Typed Prolog: A Semantic Reconstruction of the Mycroft-O'Keefe Type System.
Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

Assignments for Applicative Languages.
Proceedings of the Functional Programming Languages and Computer Architecture, 1991

A Logical View of Assignments.
Proceedings of the Constructivity in Computer Science, 1991

1990
Types for Logic Programs.
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.
Proceedings of the Conference proceedings on Formal methods in software development, 1990

Term Rewriting Induction.
Proceedings of the 10th International Conference on Automated Deduction, 1990

Axiomatization of a Functional Logic Language.
Proceedings of the Algebraic and Logic Programming, 1990

1989
Inference of Polymorphic Types for Logic Programs.
Proceedings of the Logic Programming, 1989

Rewriting Techniques for Program Synthesis.
Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

1988
Transformational Derivation of Programs Using the Focus System.
Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988

Objects as Closures: Abstract Semantics of Object-Oriented Languages.
Proceedings of the 1988 ACM Conference on LISP and Functional Programming, 1988

1986
Functional logic languages, Part I.
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.
Proceedings of the Logic Programming: Functions, Relations, and Equations, 1986

1985
Narrowing as the Operational Semantics of Functional Languages.
Proceedings of the 1985 Symposium on Logic Programming, 1985

Declaration-Free Type Checking.
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.
Proceedings of the 1984 International Symposium on Logic Programming, 1984

1983
Theory of Linear Equations Applied to Program Transformation.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982
Programming with sequences.
Proceedings of the 20th Annual Southeast Regional Conference, 1982


  Loading...