The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Uday S. Reddy: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Uday S. Reddy
    Transformation of Logic Programs into Functional Programs. [Citation Graph (2, 0)][DBLP]
    SLP, 1984, pp:187-196 [Conf]
  2. Uday S. Reddy
    Objects as Closures: Abstract Semantics of Object-Oriented Languages. [Citation Graph (1, 0)][DBLP]
    LISP and Functional Programming, 1988, pp:289-297 [Conf]
  3. Prateek Mishra, Uday S. Reddy
    Declaration-Free Type Checking. [Citation Graph (1, 0)][DBLP]
    POPL, 1985, pp:7-21 [Conf]
  4. Changwoo Pyo, Uday S. Reddy
    Inference of Polymorphic Types for Logic Programs. [Citation Graph (1, 0)][DBLP]
    NACLP, 1989, pp:1115-1132 [Conf]
  5. Uday S. Reddy
    Narrowing as the Operational Semantics of Functional Languages. [Citation Graph (1, 0)][DBLP]
    SLP, 1985, pp:138-151 [Conf]
  6. François Bronsard, Uday S. Reddy
    Axiomatization of a Functional Logic Language. [Citation Graph (0, 0)][DBLP]
    ALP, 1990, pp:101-116 [Conf]
  7. François Bronsard, Uday S. Reddy, Robert W. Hasker
    Induction using Term Orderings. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:102-117 [Conf]
  8. Uday S. Reddy
    Term Rewriting Induction. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:162-177 [Conf]
  9. Vipin Swarup, Uday S. Reddy
    A Logical View of Assignments. [Citation Graph (0, 0)][DBLP]
    Constructivity in Computer Science, 1991, pp:131-149 [Conf]
  10. François Bronsard, Uday S. Reddy
    Reduction Techniques for First-Order Reasoning. [Citation Graph (0, 0)][DBLP]
    CTRS, 1992, pp:242-256 [Conf]
  11. Uday S. Reddy
    A Typed Foundation for Directional Logic Programming. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:282-318 [Conf]
  12. Uday S. Reddy
    Higher-order Aspects of Logic Programming. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:301-321 [Conf]
  13. Uday S. Reddy, Hongseok Yang
    Correctness of Data Representations Involving Heap Data Structures. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:223-237 [Conf]
  14. Hongseok Yang, Uday S. Reddy
    On the Semantics of Refinement Calculi. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:359-374 [Conf]
  15. Howard Huang, Uday S. Reddy
    Type Reconstruction for SCI. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1995, pp:6- [Conf]
  16. Vipin Swarup, Uday S. Reddy, Evan Ireland
    Assignments for Applicative Languages. [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:192-214 [Conf]
  17. Uday S. Reddy
    Functional logic languages, Part I. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:401-425 [Conf]
  18. Uday S. Reddy, Samuel N. Kamin
    On the power of abstract interpretation. [Citation Graph (0, 0)][DBLP]
    ICCL, 1992, pp:24-33 [Conf]
  19. François Bronsard, T. K. Lakshman, Uday S. Reddy
    A Framework of Directionality for Proving Termination of Logic Programs. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1992, pp:321-335 [Conf]
  20. Uday S. Reddy
    Higher-order Aspects of Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:402-418 [Conf]
  21. Uday S. Reddy, Bharat Jayaraman
    Theory of Linear Equations Applied to Program Transformation. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1983, pp:10-16 [Conf]
  22. Andrew A. Chien, Uday S. Reddy, John Plevyak, Julian Dolby
    ICC++-AC++ Dialect for High Performance Parallel Computing. [Citation Graph (0, 0)][DBLP]
    ISOTAS, 1996, pp:76-95 [Conf]
  23. Brian Dunphy, Uday S. Reddy
    Parametric Limits. [Citation Graph (0, 0)][DBLP]
    LICS, 2004, pp:242-251 [Conf]
  24. Uday S. Reddy
    Passivity and Independence [Citation Graph (0, 0)][DBLP]
    LICS, 1994, pp:342-352 [Conf]
  25. Uday S. Reddy
    Rewriting Techniques for Program Synthesis. [Citation Graph (0, 0)][DBLP]
    RTA, 1989, pp:388-403 [Conf]
  26. Uday S. Reddy
    Transformational Derivation of Programs Using the Focus System. [Citation Graph (0, 0)][DBLP]
    Software Development Environments (SDE), 1988, pp:163-172 [Conf]
  27. T. L. Lakshman, Uday S. Reddy
    Typed Prolog: A Semantic Reconstruction of the Mycroft-O'Keefe Type System. [Citation Graph (0, 0)][DBLP]
    ISLP, 1991, pp:202-217 [Conf]
  28. Uday S. Reddy
    Bridging the gap between logic and functional programming (Panel Abstract). [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:627-628 [Conf]
  29. Uday S. Reddy
    Types for Logic Programs. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:836-840 [Conf]
  30. Uday S. Reddy, Samuel N. Kamin
    On the Power of Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1993, v:19, n:2, pp:79-89 [Journal]
  31. Uday S. Reddy
    Imperative Functional Programming. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:2, pp:312-314 [Journal]
  32. Peter W. O'Hearn, Uday S. Reddy
    Objects, interference and the Yoneda embedding. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  33. Uday S. Reddy
    Objects and Classes in Algol-Like Languages. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:172, n:1, pp:63-97 [Journal]
  34. François Bronsard, Uday S. Reddy, Robert W. Hasker
    Induction Using Term Orders. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1996, v:16, n:1-2, pp:3-37 [Journal]
  35. Nachum Dershowitz, Uday S. Reddy
    Deductive and Inductive Synthesis of Equational Programs. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1993, v:15, n:5/6, pp:467-494 [Journal]
  36. Josh Berdine, Peter W. O'Hearn, Uday S. Reddy, Hayo Thielecke
    Linear Continuation-Passing. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2002, v:15, n:2-3, pp:181-208 [Journal]
  37. Uday S. Reddy
    Global State Considered Unnecessary: An Introduction to Object-Based Semantics. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1996, v:9, n:1, pp:7-76 [Journal]
  38. Uday S. Reddy, Hongseok Yang
    Correctness of data representations involving heap data structures. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2004, v:50, n:1-3, pp:129-160 [Journal]
  39. Peter W. O'Hearn, Uday S. Reddy
    Objects, Interference, and the Yoneda Embedding. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:228, n:1-2, pp:253-282 [Journal]

  40. Programming with sequences. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002