Uday Reddy
TitleCited byYear
Narrowing as the operational semantics of functional languages
US Reddy
Proc. IEEE International Symposium on Logic Programming, 138-151, 1985
2901985
Wiley encyclopedia of electrical and electronics engineering
J Webster
Biomedical Instrumentation & Technology 36 (5), 2002
2132002
Term rewriting induction
US Reddy
International Conference on Automated Deduction, 162-177, 1990
1861990
Objects as closures: Abstract semantics of object-oriented languages
U Reddy
Proceedings of the 1988 ACM conference on LISP and functional programming …, 1988
1821988
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
118*2011
Declaration-free type checking
P Mishra, US Reddy
Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of …, 1985
1161985
On the Relationship Between Logic and Functional Languages.
US Reddy
Logic Programming: Functions, Relations, and Equations, 3-36, 1986
1061986
Typed Prolog: A Semantic Reconstruction of the Mycroft-O'Keefe Type System.
TL Lakshman, US Reddy
ISLP 91, 202-217, 1991
1001991
A Framework of Directionality for Proving Termination of Logic Programs.
F Bronsard, TK Lakshman, US Reddy
JICSLP 92, 321-335, 1992
981992
Transformation of Logic Programs into Functional Programs.
US Reddy
SLP, 187-196, 1984
911984
Assignments for applicative languages
V Swarup, US Reddy, E Ireland
Conference on Functional Programming Languages and Computer Architecture …, 1991
871991
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
841996
Global state considered unnecessary: An introduction to object-based semantics
US Reddy
Lisp and Symbolic Computation 9 (1), 7-76, 1996
831996
Two semantic models of object-oriented languages
SN Kamin, US Reddy
Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and …, 1994
81*1994
Linear continuation-passing
J Berdine, P O'hearn, U Reddy, H Thielecke
Higher-Order and Symbolic Computation 15 (2-3), 181-208, 2002
662002
Deductive and inductive synthesis of equational programs
N Dershowitz, US Reddy
Journal of Symbolic Computation 15 (5-6), 467-494, 1993
611993
Correctness of data representations involving heap data structures
US Reddy, H Yang
Science of Computer Programming 50 (1-3), 129-160, 2004
432004
Functional logic languages part I
US Reddy
Workshop on Graph Reduction, 401-425, 1986
401986
Transformational derivation of programs using the Focus system
US Reddy
341988
Rewriting techniques for program synthesis
US Reddy
International Conference on Rewriting Techniques and Applications, 388-403, 1989
321989
The system can't perform the operation now. Try again later.
Articles 1–20