Uday S. Reddy Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Uday S. Reddy, Brian P. Dunphy: An Automata-Theoretic Model of Idealized Algol - (Extended Abstract). ICALP (2) 2012: 337-350
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Uday S. Reddy, John C. Reynolds: Syntactic control of interference for separation logic. POPL 2012: 323-336
2011
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kalpesh Kapoor, Kamal Lodaya, Uday S. Reddy: Fine-grained Concurrency with Separation Logic. J. Philosophical Logic 40(5): 583-632 (2011)
2004
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Uday S. Reddy, Hongseok Yang: Correctness of data representations involving heap data structures. Sci. Comput. Program. 50(1-3): 129-160 (2004)
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Brian P. Dunphy, Uday S. Reddy: Parametric Limits. LICS 2004: 242-251
2003
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Uday S. Reddy, Hongseok Yang: Correctness of Data Representations Involving Heap Data Structures. ESOP 2003: 223-237
2002
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Uday S. Reddy: Objects and Classes in Algol-Like Languages. Inf. Comput. 172(1): 63-97 (2002)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Josh Berdine, Peter W. O'Hearn, Uday S. Reddy, Hayo Thielecke: Linear Continuation-Passing. Higher-Order and Symbolic Computation 15(2-3): 181-208 (2002)
2000
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hongseok Yang, Uday S. Reddy: On the Semantics of Refinement Calculi. FoSSaCS 2000: 359-374
1999
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Peter W. O'Hearn, Uday S. Reddy: Objects, Interference, and the Yoneda Embedding. Theor. Comput. Sci. 228(1-2): 253-282 (1999)
1996
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Uday S. Reddy: Imperative Functional Programming. ACM Comput. Surv. 28(2): 312-314 (1996)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
François Bronsard, Uday S. Reddy, Robert W. Hasker: Induction Using Term Orders. J. Autom. Reasoning 16(1-2): 3-37 (1996)
j4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Uday S. Reddy: Global State Considered Unnecessary: An Introduction to Object-Based Semantics. Lisp and Symbolic Computation 9(1): 7-76 (1996)
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrew A. Chien, Uday S. Reddy, John Plevyak, Julian Dolby: ICC++-AC++ Dialect for High Performance Parallel Computing. ISOTAS 1996: 76-95
1995
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Peter W. O'Hearn, Uday S. Reddy: Objects, interference and the Yoneda embedding. Electr. Notes Theor. Comput. Sci. 1: 487-514 (1995)
c26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Howard Huang, Uday S. Reddy: Type Reconstruction for SCI. Functional Programming 1995: 6
c25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Uday S. Reddy: Bridging the gap between logic and functional programming (Panel Abstract). ILPS 1995: 627-628
1994
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
François Bronsard, Uday S. Reddy, Robert W. Hasker: Induction using Term Orderings. CADE 1994: 102-117
c23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Uday S. Reddy: Higher-order Aspects of Logic Programming. ICLP 1994: 402-418
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Uday S. Reddy: Passivity and Independence. LICS 1994: 342-352
1993
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Uday S. Reddy, Samuel N. Kamin: On the Power of Abstract Interpretation. Comput. Lang. 19(2): 79-89 (1993)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nachum Dershowitz, Uday S. Reddy: Deductive and Inductive Synthesis of Equational Programs. J. Symb. Comput. 15(5/6): 467-494 (1993)
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Uday S. Reddy: Higher-order Aspects of Logic Programming. ELP 1993: 301-321
1992
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
François Bronsard, Uday S. Reddy: Reduction Techniques for First-Order Reasoning. CTRS 1992: 242-256
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Uday S. Reddy: A Typed Foundation for Directional Logic Programming. ELP 1992: 282-318
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Uday S. Reddy, Samuel N. Kamin: On the power of abstract interpretation. ICCL 1992: 24-33
c17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
François Bronsard, T. K. Lakshman, Uday S. Reddy: A Framework of Directionality for Proving Termination of Logic Programs. JICSLP 1992: 321-335
1991
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vipin Swarup, Uday S. Reddy: A Logical View of Assignments. Constructivity in Computer Science 1991: 131-149
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vipin Swarup, Uday S. Reddy, Evan Ireland: Assignments for Applicative Languages. FPCA 1991: 192-214
c14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
T. L. Lakshman, Uday S. Reddy: Typed Prolog: A Semantic Reconstruction of the Mycroft-O'Keefe Type System. ISLP 1991: 202-217
1990
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
François Bronsard, Uday S. Reddy: Axiomatization of a Functional Logic Language. ALP 1990: 101-116
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Uday S. Reddy: Term Rewriting Induction. CADE 1990: 162-177
c11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Uday S. Reddy: Types for Logic Programs. NACLP 1990: 836-840
1989
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Uday S. Reddy: Rewriting Techniques for Program Synthesis. RTA 1989: 388-403
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Changwoo Pyo, Uday S. Reddy: Inference of Polymorphic Types for Logic Programs. NACLP 1989: 1115-1132
1988
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Uday S. Reddy: Objects as Closures: Abstract Semantics of Object-Oriented Languages. LISP and Functional Programming 1988: 289-297
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Uday S. Reddy: Transformational Derivation of Programs Using the Focus System. Software Development Environments (SDE) 1988: 163-172
1986
p1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Uday S. Reddy: On the Relationship Between Logic and Functional Languages. Logic Programming: Functions, Relations, and Equations 1986: 3-36
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Uday S. Reddy: Functional logic languages, Part I. Graph Reduction 1986: 401-425
1985
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Prateek Mishra, Uday S. Reddy: Declaration-Free Type Checking. POPL 1985: 7-21
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Uday S. Reddy: Narrowing as the Operational Semantics of Functional Languages. SLP 1985: 138-151
1984
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Uday S. Reddy: Transformation of Logic Programs into Functional Programs. SLP 1984: 187-196
1983
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Uday S. Reddy, Bharat Jayaraman: Theory of Linear Equations Applied to Program Transformation. IJCAI 1983: 10-16
1982
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Uday S. Reddy: Programming with sequences. ACM Southeast Regional Conference 1982: 189-198

Coauthor Index

1Josh Berdine
[j8]
2François Bronsard
[j5] [c24] [c20] [c17] [c13]
3Andrew A. Chien
[c27]
4Nachum Dershowitz
[j1]
5Julian Dolby
[c27]
6Brian P. Dunphy
[c32] [c30]
7Robert W. Hasker
[j5] [c24]
8Howard Huang
[c26]
9Evan Ireland
[c15]
10Bharat Jayaraman
[c2]
11Samuel N. Kamin (Sam Kamin)
[j2] [c18]
12Kalpesh Kapoor
[j11]
13T. K. Lakshman
[c17]
14T. L. Lakshman
[c14]
15Kamal Lodaya
[j11]
16Prateek Mishra
[c5]
17Peter W. O'Hearn
[j8] [j7] [j3]
18John Plevyak
[c27]
19Chang Woo Pyo (Changwoo Pyo)
[c9]
20John C. Reynolds
[c31]
21Vipin Swarup
[c16] [c15]
22Hayo Thielecke
[j8]
23Hongseok Yang
[j10] [c29] [c28]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 21 16:04:10 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page