Uday Reddy
Title
Cited by
Cited by
Year
Narrowing as the operational semantics of functional languages
US Reddy
Proc. IEEE International Symposium on Logic Programming, 138-151, 1985
2881985
Term rewriting induction
US Reddy
International Conference on Automated Deduction, 162-177, 1990
2011990
Objects as closures: Abstract semantics of object-oriented languages
U Reddy
Proceedings of the 1988 ACM Conference on LISP and Functional Programming …, 1988
1901988
Declaration-free type checking
P Mishra, US Reddy
Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of …, 1985
1201985
Typed Prolog: A Semantic Reconstruction of the Mycroft-O'Keefe Type System.
TL Lakshman, US Reddy
ISLP 91, 202-217, 1991
1141991
On the Relationship Between Logic and Functional Languages.
US Reddy
Logic Programming: Functions, Relations, and Equations, 3-36, 1986
1101986
Transformation of Logic Programs into Functional Programs.
US Reddy
SLP, 187-196, 1984
991984
A Framework of Directionality for Proving Termination of Logic Programs.
F Bronsard, TK Lakshman, US Reddy
JICSLP 92, 321-335, 1992
951992
Assignments for applicative languages
V Swarup, US Reddy, E Ireland
Conference on Functional Programming Languages and Computer Architecture …, 1991
921991
Global state considered unnecessary: An introduction to object-based semantics
US Reddy
Lisp and Symbolic Computation 9 (1), 7-76, 1996
871996
Two semantic models of object-oriented languages
SN Kamin, US Reddy
Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and …, 1994
861994
ICC++-a C++ dialect for high performance parallel computing
A Chien, US Reddy, J Plevyak, J Dolby
Object Technologies for Advanced Software, 76-95, 1996
851996
Linear continuation-passing
J Berdine, P O'hearn, U Reddy, H Thielecke
Higher-order and symbolic computation 15 (2), 181-208, 2002
742002
Objects and classes in Algol-like languages
US Reddy
Information and Computation 172 (1), 63-97, 2002
65*2002
Deductive and inductive synthesis of equational programs
N Dershowitz, US Reddy
Journal of Symbolic Computation 15 (5-6), 467-494, 1993
651993
Correctness of data representations involving heap data structures
US Reddy, H Yang
Science of Computer Programming 50 (1-3), 129-160, 2004
402004
Functional logic languages part I
US Reddy
Workshop on Graph Reduction, 401-425, 1986
401986
Logical Relations and Parametricity-A Reynolds Programme for Category Theory and Programming Languages
C Hermida, US Reddy, EP Robinson
Electronic Notes in Theoretical Computer Science 303, 149-180, 2014
352014
Rewriting techniques for program synthesis
US Reddy
International Conference on Rewriting Techniques and Applications, 388-403, 1989
351989
Parametric limits
B Dunphy, US Reddy
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004
322004
The system can't perform the operation now. Try again later.
Articles 1–20