Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Uday S. Reddy" ( http://dblp.L3S.de/Authors/Uday_S._Reddy )

URL (Homepage):  http://www.cs.bham.ac.uk/~udr/  Author page on DBLP  Author page in RDF  Community of Uday S. Reddy in ASPL-2

Publication years (Num. hits)
1982-1991 (17) 1992-1996 (17) 1999-2012 (9)
Publication types (Num. hits)
article(11) incollection(1) inproceedings(31)
Venues (Conferences, Journals, ...)
CADE(2) ELP(2) LICS(2) NACLP(2) POPL(2) SLP(2) ACM Comput. Surv.(1) ACM Southeast Regional Confere...(1) ALP(1) Comput. Lang.(1) Constructivity in Computer Sci...(1) CTRS(1) Electr. Notes Theor. Comput. S...(1) ESOP(1) FoSSaCS(1) FPCA(1) More (+10 of total 37)
Authors
Uday S. Reddy(43) François Bronsard(5) Hongseok Yang(3) Peter W. O'Hearn(3) Robert W. Hasker(2) Samuel N. Kamin(2) Vipin Swarup(2) Andrew A. Chien(1) Bharat Jayaraman(1) Brian Dunphy(1) Changwoo Pyo(1) Evan Ireland(1) Hayo Thielecke(1) Howard Huang(1) John C. Reynolds(1) John Plevyak(1) More (+10 of total 24)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 24 occurrences of 20 keywords
Results
Found 43 publication records. Showing 43 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Uday S. Reddy, John C. Reynolds Syntactic control of interference for separation logic. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Kalpesh Kapoor, Kamal Lodaya, Uday S. Reddy Fine-grained Concurrency with Separation Logic. Search on Bibsonomy J. Philosophical Logic The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Uday S. Reddy, Hongseok Yang Correctness of data representations involving heap data structures. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Brian Dunphy, Uday S. Reddy Parametric Limits. Search on Bibsonomy LICS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Parametric polymorphism, Relational Parametricity, Categorical models, Fibrations
1Uday S. Reddy, Hongseok Yang Correctness of Data Representations Involving Heap Data Structures. Search on Bibsonomy ESOP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Uday S. Reddy Objects and Classes in Algol-Like Languages. Search on Bibsonomy Inf. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Josh Berdine, Peter W. O'Hearn, Uday S. Reddy, Hayo Thielecke Linear Continuation-Passing. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Hongseok Yang, Uday S. Reddy On the Semantics of Refinement Calculi. Search on Bibsonomy FoSSaCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn, Uday S. Reddy Objects, Interference, and the Yoneda Embedding. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1François Bronsard, Uday S. Reddy, Robert W. Hasker Induction Using Term Orders. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Uday S. Reddy Imperative Functional Programming. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Uday S. Reddy Global State Considered Unnecessary: An Introduction to Object-Based Semantics. Search on Bibsonomy Lisp and Symbolic Computation The full citation details ... 1996 DBLP  BibTeX  RDF
1Andrew A. Chien, Uday S. Reddy, John Plevyak, Julian Dolby ICC++-AC++ Dialect for High Performance Parallel Computing. Search on Bibsonomy ISOTAS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn, Uday S. Reddy Objects, interference and the Yoneda embedding. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Howard Huang, Uday S. Reddy Type Reconstruction for SCI. Search on Bibsonomy Functional Programming The full citation details ... 1995 DBLP  BibTeX  RDF
1Uday S. Reddy Bridging the gap between logic and functional programming (Panel Abstract). Search on Bibsonomy ILPS The full citation details ... 1995 DBLP  BibTeX  RDF
1François Bronsard, Uday S. Reddy, Robert W. Hasker Induction using Term Orderings. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Uday S. Reddy Higher-order Aspects of Logic Programming. Search on Bibsonomy ICLP The full citation details ... 1994 DBLP  BibTeX  RDF
1Uday S. Reddy Passivity and Independence Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Uday S. Reddy Deductive and Inductive Synthesis of Equational Programs. Search on Bibsonomy J. Symb. Comput. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Uday S. Reddy, Samuel N. Kamin On the Power of Abstract Interpretation. Search on Bibsonomy Comput. Lang. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Uday S. Reddy Higher-order Aspects of Logic Programming. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Higher-order features, semantics, functional programming, types, lambda calculus, concurrent logic programming, logic variables
1François Bronsard, T. K. Lakshman, Uday S. Reddy A Framework of Directionality for Proving Termination of Logic Programs. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Uday S. Reddy A Typed Foundation for Directional Logic Programming. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Directionality, types, linear logic, sequent calculus, modes, concurrent logic programming, Curry-Howard isomorphism, logic variables
1Uday S. Reddy, Samuel N. Kamin On the power of abstract interpretation. Search on Bibsonomy ICCL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1François Bronsard, Uday S. Reddy Reduction Techniques for First-Order Reasoning. Search on Bibsonomy CTRS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Vipin Swarup, Uday S. Reddy A Logical View of Assignments. Search on Bibsonomy Constructivity in Computer Science The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1T. L. Lakshman, Uday S. Reddy Typed Prolog: A Semantic Reconstruction of the Mycroft-O'Keefe Type System. Search on Bibsonomy ISLP The full citation details ... 1991 DBLP  BibTeX  RDF
1Vipin Swarup, Uday S. Reddy, Evan Ireland Assignments for Applicative Languages. Search on Bibsonomy FPCA The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Uday S. Reddy Term Rewriting Induction. Search on Bibsonomy CADE The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1François Bronsard, Uday S. Reddy Axiomatization of a Functional Logic Language. Search on Bibsonomy ALP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Uday S. Reddy Types for Logic Programs. Search on Bibsonomy NACLP The full citation details ... 1990 DBLP  BibTeX  RDF
1Changwoo Pyo, Uday S. Reddy Inference of Polymorphic Types for Logic Programs. Search on Bibsonomy NACLP The full citation details ... 1989 DBLP  BibTeX  RDF
1Uday S. Reddy Rewriting Techniques for Program Synthesis. Search on Bibsonomy RTA The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Uday S. Reddy Transformational Derivation of Programs Using the Focus System. Search on Bibsonomy Software Development Environments (SDE) The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Uday S. Reddy Objects as Closures: Abstract Semantics of Object-Oriented Languages. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Uday S. Reddy On the Relationship Between Logic and Functional Languages. Search on Bibsonomy Logic Programming: Functions, Relations, and Equations The full citation details ... 1986 DBLP  BibTeX  RDF
1Uday S. Reddy Functional logic languages, Part I. Search on Bibsonomy Graph Reduction The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Prateek Mishra, Uday S. Reddy Declaration-Free Type Checking. Search on Bibsonomy POPL The full citation details ... 1985 DBLP  DOI  BibTeX  RDF equational languages, regular trees, solving inequations, type inference
1Uday S. Reddy Narrowing as the Operational Semantics of Functional Languages. Search on Bibsonomy SLP The full citation details ... 1985 DBLP  BibTeX  RDF
1Uday S. Reddy Transformation of Logic Programs into Functional Programs. Search on Bibsonomy SLP The full citation details ... 1984 DBLP  BibTeX  RDF
1Uday S. Reddy, Bharat Jayaraman Theory of Linear Equations Applied to Program Transformation. Search on Bibsonomy IJCAI The full citation details ... 1983 DBLP  BibTeX  RDF
1Uday S. Reddy Programming with sequences. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 1982 DBLP  DOI  BibTeX  RDF abstract sequences, axiomatic reasoning, eight-queens problem, functional forms, operational reasoning, functional programming, dynamism, variables, recursion, fixed points, Procedural programming
Displaying result #1 - #43 of 43 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.