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
2871985
Term rewriting induction
US Reddy
International Conference on Automated Deduction, 162-177, 1990
2001990
Objects as closures: Abstract semantics of object-oriented languages
U Reddy
Proceedings of the 1988 ACM Conference on LISP and Functional Programming …, 1988
1901988
Total radical yields from tropospheric ethene ozonolysis
MS Alam, M Camredon, AR Rickard, T Carr, KP Wyche, KE Hornsby, ...
Physical Chemistry Chemical Physics 13 (23), 11002-11015, 2011
146*2011
Declaration-free type checking
P Mishra, US Reddy
Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of …, 1985
1191985
Typed Prolog: A Semantic Reconstruction of the Mycroft-O'Keefe Type System.
TL Lakshman, US Reddy
ISLP 91, 202-217, 1991
1131991
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
941992
Assignments for applicative languages
V Swarup, US Reddy, E Ireland
Conference on Functional Programming Languages and Computer Architecture …, 1991
911991
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
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
Foundations of Object-Oriented Languages
K Bruce, D Remy
Information and Computation 172 (1), 1, 2002
392002
Rewriting techniques for program synthesis
US Reddy
International Conference on Rewriting Techniques and Applications, 388-403, 1989
341989
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
332014
The system can't perform the operation now. Try again later.
Articles 1–20