Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Uday S. Reddy
@article{DBLP:journals/mscs/HermidaRRS22,
author = {Claudio Hermida and
Uday S. Reddy and
Edmund Robinson and
Alessio Santamaria},
title = {Bisimulation as a logical relation},
journal = {Math. Struct. Comput. Sci.},
volume = {32},
number = {4},
pages = {442--471},
year = {2022},
url = {https://doi.org/10.1017/S0960129522000020},
doi = {10.1017/S0960129522000020},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/HermidaRRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-13542,
author = {Claudio Hermida and
Uday S. Reddy and
Edmund P. Robinson and
Alessio Santamaria},
title = {Bisimulation as a Logical Relation},
journal = {CoRR},
volume = {abs/2003.13542},
year = {2020},
url = {https://arxiv.org/abs/2003.13542},
eprinttype = {arXiv},
eprint = {2003.13542},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-13542.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HermidaRR19,
author = {Claudio Hermida and
Uday S. Reddy and
Edmund P. Robinson},
editor = {Barbara K{\"{o}}nig},
title = {Deriving Logical Relations from Interpretations of Predicate Logic},
booktitle = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {347},
pages = {241--259},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2019.09.013},
doi = {10.1016/J.ENTCS.2019.09.013},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/HermidaRR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BrookesOR14,
author = {Stephen Brookes and
Peter W. O'Hearn and
Uday S. Reddy},
title = {The Essence of Reynolds},
journal = {Formal Aspects Comput.},
volume = {26},
number = {3},
pages = {435--439},
year = {2014},
url = {https://doi.org/10.1007/s00165-014-0295-x},
doi = {10.1007/S00165-014-0295-X},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BrookesOR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BrookesOR14,
author = {Stephen Brookes and
Peter W. O'Hearn and
Uday S. Reddy},
editor = {Suresh Jagannathan and
Peter Sewell},
title = {The essence of Reynolds},
booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
2014},
pages = {251--256},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2535838.2537851},
doi = {10.1145/2535838.2537851},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/BrookesOR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HermidaRR14,
author = {Claudio Hermida and
Uday S. Reddy and
Edmund P. Robinson},
editor = {John Power and
Cai Wingfield},
title = {Logical Relations and Parametricity - {A} Reynolds Programme for Category
Theory and Programming Languages},
booktitle = {Proceedings of the Workshop on Algebra, Coalgebra and Topology, {WACT}
2013, Bath, UK, March 1, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {303},
pages = {149--180},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.02.008},
doi = {10.1016/J.ENTCS.2014.02.008},
timestamp = {Tue, 22 Nov 2022 11:40:10 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HermidaRR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Reddy13,
author = {Uday S. Reddy},
editor = {Dexter Kozen and
Michael W. Mislove},
title = {Automata-Theoretic Semantics of Idealized Algol with Passive Expressions},
booktitle = {Proceedings of the Twenty-ninth Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2013, New Orleans, LA, USA, June
23-25, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {298},
pages = {325--348},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2013.09.020},
doi = {10.1016/J.ENTCS.2013.09.020},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Reddy13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ReddyD12,
author = {Uday S. Reddy and
Brian P. Dunphy},
editor = {Artur Czumaj and
Kurt Mehlhorn and
Andrew M. Pitts and
Roger Wattenhofer},
title = {An Automata-Theoretic Model of Idealized Algol - (Extended Abstract)},
booktitle = {Automata, Languages, and Programming - 39th International Colloquium,
{ICALP} 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7392},
pages = {337--350},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31585-5\_32},
doi = {10.1007/978-3-642-31585-5\_32},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ReddyD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ReddyR12,
author = {Uday S. Reddy and
John C. Reynolds},
editor = {John Field and
Michael Hicks},
title = {Syntactic control of interference for separation logic},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
USA, January 22-28, 2012},
pages = {323--336},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103656.2103695},
doi = {10.1145/2103656.2103695},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/ReddyR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/KapoorLR11,
author = {Kalpesh Kapoor and
Kamal Lodaya and
Uday S. Reddy},
title = {Fine-grained Concurrency with Separation Logic},
journal = {J. Philos. Log.},
volume = {40},
number = {5},
pages = {583--632},
year = {2011},
url = {https://doi.org/10.1007/s10992-011-9195-1},
doi = {10.1007/S10992-011-9195-1},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/KapoorLR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ReddyY04,
author = {Uday S. Reddy and
Hongseok Yang},
title = {Correctness of data representations involving heap data structures},
journal = {Sci. Comput. Program.},
volume = {50},
number = {1-3},
pages = {129--160},
year = {2004},
url = {https://doi.org/10.1016/j.scico.2004.01.007},
doi = {10.1016/J.SCICO.2004.01.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ReddyY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DunphyR04,
author = {Brian P. Dunphy and
Uday S. Reddy},
title = {Parametric Limits},
booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),
14-17 July 2004, Turku, Finland, Proceedings},
pages = {242--251},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/LICS.2004.1319618},
doi = {10.1109/LICS.2004.1319618},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DunphyR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/ReddyY03,
author = {Uday S. Reddy and
Hongseok Yang},
editor = {Pierpaolo Degano},
title = {Correctness of Data Representations Involving Heap Data Structures},
booktitle = {Programming Languages and Systems, 12th European Symposium on Programming,
{ESOP} 2003, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2618},
pages = {223--237},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36575-3\_16},
doi = {10.1007/3-540-36575-3\_16},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/ReddyY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Reddy02,
author = {Uday S. Reddy},
title = {Objects and Classes in Algol-Like Languages},
journal = {Inf. Comput.},
volume = {172},
number = {1},
pages = {63--97},
year = {2002},
url = {https://doi.org/10.1006/inco.2001.2927},
doi = {10.1006/INCO.2001.2927},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Reddy02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/BerdineORT02,
author = {Josh Berdine and
Peter W. O'Hearn and
Uday S. Reddy and
Hayo Thielecke},
title = {Linear Continuation-Passing},
journal = {High. Order Symb. Comput.},
volume = {15},
number = {2-3},
pages = {181--208},
year = {2002},
url = {https://doi.org/10.1023/A:1020891112409},
doi = {10.1023/A:1020891112409},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/BerdineORT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/YangR00,
author = {Hongseok Yang and
Uday S. Reddy},
editor = {Jerzy Tiuryn},
title = {On the Semantics of Refinement Calculi},
booktitle = {Foundations of Software Science and Computation Structures, Third
International Conference, {FOSSACS} 2000, Held as Part of the Joint
European Conferences on Theory and Practice of Software,ETAPS 2000,
Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1784},
pages = {359--374},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46432-8\_24},
doi = {10.1007/3-540-46432-8\_24},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/YangR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/OHearnR99,
author = {Peter W. O'Hearn and
Uday S. Reddy},
title = {Objects, Interference, and the Yoneda Embedding},
journal = {Theor. Comput. Sci.},
volume = {228},
number = {1-2},
pages = {253--282},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00360-0},
doi = {10.1016/S0304-3975(98)00360-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/OHearnR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Reddy96,
author = {Uday S. Reddy},
title = {Imperative Functional Programming},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {2},
pages = {312--314},
year = {1996},
url = {https://doi.org/10.1145/234528.234736},
doi = {10.1145/234528.234736},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Reddy96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BronsardRH96,
author = {Fran{\c{c}}ois Bronsard and
Uday S. Reddy and
Robert W. Hasker},
title = {Induction Using Term Orders},
journal = {J. Autom. Reason.},
volume = {16},
number = {1-2},
pages = {3--37},
year = {1996},
url = {https://doi.org/10.1007/BF00244458},
doi = {10.1007/BF00244458},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BronsardRH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Reddy96,
author = {Uday S. Reddy},
title = {Global State Considered Unnecessary: An Introduction to Object-Based
Semantics},
journal = {{LISP} Symb. Comput.},
volume = {9},
number = {1},
pages = {7--76},
year = {1996},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/Reddy96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isotas/ChienRPD96,
author = {Andrew A. Chien and
Uday S. Reddy and
John Plevyak and
Julian Dolby},
editor = {Kokichi Futatsugi and
Satoshi Matsuoka},
title = {{ICC++-AC++} Dialect for High Performance Parallel Computing},
booktitle = {Object Technologies for Advanced Software, Second {JSSST} International
Symposium, {ISOTAS} '96, Kanazawa, Japan, March 11-15, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1049},
pages = {76--95},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-60954-7\_45},
doi = {10.1007/3-540-60954-7\_45},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/isotas/ChienRPD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/HuangR95,
author = {Howard Huang and
Uday S. Reddy},
editor = {David N. Turner},
title = {Type Reconstruction for {SCI}},
booktitle = {Functional Programming, Glasgow, UK, 1995},
series = {Workshops in Computing},
pages = {6},
publisher = {Springer},
year = {1995},
timestamp = {Tue, 19 Jun 2018 20:15:26 +0200},
biburl = {https://dblp.org/rec/conf/fp/HuangR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Redd95,
author = {Uday S. Reddy},
editor = {John W. Lloyd},
title = {Bridging the gap between logic and functional programming (Panel Abstract)},
booktitle = {Logic Programming, Proceedings of the 1995 International Symposium,
Portland, Oregon, USA, December 4-7, 1995},
pages = {627--628},
publisher = {{MIT} Press},
year = {1995},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299966},
timestamp = {Wed, 11 Aug 2021 17:02:32 +0200},
biburl = {https://dblp.org/rec/conf/slp/Redd95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OHearnR95,
author = {Peter W. O'Hearn and
Uday S. Reddy},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove},
title = {Objects, interference and the Yoneda embedding},
booktitle = {Eleventh Annual Conference on Mathematical Foundations of Programming
Semantics, {MFPS} 1995, Tulane University, New Orleans, LA, USA, March
29 - April 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {1},
pages = {487--514},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(04)00027-1},
doi = {10.1016/S1571-0661(04)00027-1},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OHearnR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BronsardRH94,
author = {Fran{\c{c}}ois Bronsard and
Uday S. Reddy and
Robert W. Hasker},
editor = {Alan Bundy},
title = {Induction using Term Orderings},
booktitle = {Automated Deduction - CADE-12, 12th International Conference on Automated
Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {814},
pages = {102--117},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58156-1\_8},
doi = {10.1007/3-540-58156-1\_8},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BronsardRH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Reddy94,
author = {Uday S. Reddy},
editor = {Pascal Van Hentenryck},
title = {Higher-order Aspects of Logic Programming},
booktitle = {Logic Programming, Proceedings of the Eleventh International Conference
on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994},
pages = {402--418},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Reddy94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Reddy94,
author = {Uday S. Reddy},
title = {Passivity and Independence},
booktitle = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science
{(LICS} '94), Paris, France, July 4-7, 1994},
pages = {342--352},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/LICS.1994.316055},
doi = {10.1109/LICS.1994.316055},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Reddy94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/ReddyK93,
author = {Uday S. Reddy and
Samuel N. Kamin},
title = {On the Power of Abstract Interpretation},
journal = {Comput. Lang.},
volume = {19},
number = {2},
pages = {79--89},
year = {1993},
url = {https://doi.org/10.1016/0096-0551(93)90003-J},
doi = {10.1016/0096-0551(93)90003-J},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/ReddyK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DershowitzR93,
author = {Nachum Dershowitz and
Uday S. Reddy},
title = {Deductive and Inductive Synthesis of Equational Programs},
journal = {J. Symb. Comput.},
volume = {15},
number = {5/6},
pages = {467--494},
year = {1993},
url = {https://doi.org/10.1016/S0747-7171(06)80002-7},
doi = {10.1016/S0747-7171(06)80002-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/DershowitzR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/Reddy93,
author = {Uday S. Reddy},
editor = {Roy Dyckhoff},
title = {Higher-order Aspects of Logic Programming},
booktitle = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
St. Andrews, UK, March 29 - April 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {798},
pages = {301--321},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58025-5\_63},
doi = {10.1007/3-540-58025-5\_63},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/elp/Reddy93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctrs/BronsardR92,
author = {Fran{\c{c}}ois Bronsard and
Uday S. Reddy},
editor = {Micha{\"{e}}l Rusinowitch and
Jean{-}Luc R{\'{e}}my},
title = {Reduction Techniques for First-Order Reasoning},
booktitle = {Conditional Term Rewriting Systems, Third International Workshop,
CTRS-92, Pont-{\`{a}}-Mousson, France, July 8-10, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {656},
pages = {242--256},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56393-8\_18},
doi = {10.1007/3-540-56393-8\_18},
timestamp = {Thu, 08 Aug 2019 14:41:47 +0200},
biburl = {https://dblp.org/rec/conf/ctrs/BronsardR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/Reddy92,
author = {Uday S. Reddy},
editor = {Evelina Lamma and
Paola Mello},
title = {A Typed Foundation for Directional Logic Programming},
booktitle = {Extensions of Logic Programming, Third International Workshop, ELP'92,
Bologna, Italy, February 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {660},
pages = {282--318},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56454-3\_15},
doi = {10.1007/3-540-56454-3\_15},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/elp/Reddy92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/ReddyK92,
author = {Uday S. Reddy and
Samuel N. Kamin},
editor = {James R. Cordy and
Mario Barbacci},
title = {On the power of abstract interpretation},
booktitle = {ICCL'92, Proceedings of the 1992 International Conference on Computer
Languages, Oakland, California, USA, 20-23 Apr 1992},
pages = {24--33},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/ICCL.1992.185465},
doi = {10.1109/ICCL.1992.185465},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccl/ReddyK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BronsardLR92,
author = {Fran{\c{c}}ois Bronsard and
T. K. Lakshman and
Uday S. Reddy},
editor = {Krzysztof R. Apt},
title = {A Framework of Directionality for Proving Termination of Logic Programs},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {321--335},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BronsardLR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/constructivity/SwarupR91,
author = {Vipin Swarup and
Uday S. Reddy},
editor = {J. Paul Myers Jr. and
Michael J. O'Donnell},
title = {A Logical View of Assignments},
booktitle = {Constructivity in Computer Science, Summer Symposium, San Antonio,
Texas, USA, June 19-22, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {613},
pages = {131--149},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0021087},
doi = {10.1007/BFB0021087},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/constructivity/SwarupR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/SwarupRI91,
author = {Vipin Swarup and
Uday S. Reddy and
Evan Ireland},
editor = {John Hughes},
title = {Assignments for Applicative Languages},
booktitle = {Functional Programming Languages and Computer Architecture, 5th {ACM}
Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {523},
pages = {192--214},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540543961\_10},
doi = {10.1007/3540543961\_10},
timestamp = {Tue, 08 Mar 2022 10:14:58 +0100},
biburl = {https://dblp.org/rec/conf/fpca/SwarupRI91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/LakshmanR91,
author = {T. L. Lakshman and
Uday S. Reddy},
editor = {Vijay A. Saraswat and
Kazunori Ueda},
title = {Typed Prolog: {A} Semantic Reconstruction of the Mycroft-O'Keefe Type
System},
booktitle = {Logic Programming, Proceedings of the 1991 International Symposium,
San Diego, California, USA, Oct. 28 - Nov 1, 1991},
pages = {202--217},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/LakshmanR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/BronsardR90,
author = {Fran{\c{c}}ois Bronsard and
Uday S. Reddy},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Wolfgang Wechler},
title = {Axiomatization of a Functional Logic Language},
booktitle = {Algebraic and Logic Programming, Second International Conference,
Nancy, France, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {463},
pages = {101--116},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53162-9\_33},
doi = {10.1007/3-540-53162-9\_33},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/alp/BronsardR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Reddy90,
author = {Uday S. Reddy},
editor = {Mark E. Stickel},
title = {Term Rewriting Induction},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {162--177},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_86},
doi = {10.1007/3-540-52885-7\_86},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Reddy90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmsd/Reddy90,
author = {Uday S. Reddy},
editor = {Mark Moriconi},
title = {Formal methods in transformational derivation of programs},
booktitle = {Conference proceedings on Formal methods in software development,
Napa, California, USA, May 9-11, 1990},
pages = {104--114},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/99569.99828},
doi = {10.1145/99569.99828},
timestamp = {Thu, 17 Feb 2022 09:26:24 +0100},
biburl = {https://dblp.org/rec/conf/fmsd/Reddy90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Reddy90,
author = {Uday S. Reddy},
editor = {Saumya K. Debray and
Manuel V. Hermenegildo},
title = {Types for Logic Programs},
booktitle = {Logic Programming, Proceedings of the 1990 North American Conference,
Austin, Texas, USA, October 29 - November 1, 1990},
pages = {836--840},
publisher = {{MIT} Press},
year = {1990},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/Reddy90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Reddy89,
author = {Uday S. Reddy},
editor = {Nachum Dershowitz},
title = {Rewriting Techniques for Program Synthesis},
booktitle = {Rewriting Techniques and Applications, 3rd International Conference,
RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {355},
pages = {388--403},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51081-8\_121},
doi = {10.1007/3-540-51081-8\_121},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/Reddy89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/PyoR89,
author = {Changwoo Pyo and
Uday S. Reddy},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {Inference of Polymorphic Types for Logic Programs},
booktitle = {Logic Programming, Proceedings of the North American Conference 1989,
Cleveland, Ohio, USA, October 16-20, 1989. 2 Volumes},
pages = {1115--1132},
publisher = {{MIT} Press},
year = {1989},
timestamp = {Wed, 04 Dec 2013 14:43:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/PyoR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Reddy88,
author = {Uday S. Reddy},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {Objects as Closures: Abstract Semantics of Object-Oriented Languages},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {289--297},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62721},
doi = {10.1145/62678.62721},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Reddy88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sde/Reddy88,
author = {Uday S. Reddy},
editor = {Peter B. Henderson},
title = {Transformational Derivation of Programs Using the Focus System},
booktitle = {Proceedings of the {ACM} {SIGSOFT/SIGPLAN} Software Engineering Symposium
on Practical Software Development Environments, Boston, Massachusetts,
USA, November 28-30, 1988},
pages = {163--172},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/64135.65019},
doi = {10.1145/64135.65019},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sde/Reddy88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gr/Reddy86,
author = {Uday S. Reddy},
editor = {Joseph H. Fasel and
Robert M. Keller},
title = {Functional logic languages, Part {I}},
booktitle = {Graph Reduction, Proceedings of a Workshop, Santa F{\'{e}}, New
Mexico, USA, September 29 - October 1, 1986},
series = {Lecture Notes in Computer Science},
volume = {279},
pages = {401--425},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18420-1\_68},
doi = {10.1007/3-540-18420-1\_68},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/gr/Reddy86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ph/deGrootL86/Reddy86,
author = {Uday S. Reddy},
editor = {Doug DeGroot and
Gary Lindstrom},
title = {On the Relationship Between Logic and Functional Languages},
booktitle = {Logic Programming: Functions, Relations, and Equations},
pages = {3--36},
publisher = {Prentice-Hall},
year = {1986},
timestamp = {Mon, 05 Aug 2019 11:53:35 +0200},
biburl = {https://dblp.org/rec/books/ph/deGrootL86/Reddy86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MishraR85,
author = {Prateek Mishra and
Uday S. Reddy},
editor = {Mary S. Van Deusen and
Zvi Galil and
Brian K. Reid},
title = {Declaration-Free Type Checking},
booktitle = {Conference Record of the Twelfth Annual {ACM} Symposium on Principles
of Programming Languages, New Orleans, Louisiana, USA, January 1985},
pages = {7--21},
publisher = {{ACM} Press},
year = {1985},
url = {https://doi.org/10.1145/318593.318603},
doi = {10.1145/318593.318603},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/MishraR85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Reddy85,
author = {Uday S. Reddy},
title = {Narrowing as the Operational Semantics of Functional Languages},
booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts,
USA, July 15-18, 1985},
pages = {138--151},
publisher = {{IEEE-CS}},
year = {1985},
timestamp = {Wed, 04 Dec 2013 14:42:59 +0100},
biburl = {https://dblp.org/rec/conf/slp/Reddy85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Reddy84,
author = {Uday S. Reddy},
title = {Transformation of Logic Programs into Functional Programs},
booktitle = {Proceedings of the 1984 International Symposium on Logic Programming,
Atlantic City, New Jersey, USA, February 6-9, 1984},
pages = {187--196},
publisher = {{IEEE-CS}},
year = {1984},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/Reddy84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ReddyJ83,
author = {Uday S. Reddy and
Bharat Jayaraman},
editor = {Alan Bundy},
title = {Theory of Linear Equations Applied to Program Transformation},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {10--16},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/002.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:54 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ReddyJ83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACMse/Reddy82,
author = {Uday S. Reddy},
title = {Programming with sequences},
booktitle = {Proceedings of the 20th Annual Southeast Regional Conference, 1982,
Knoxville, Tennessee, USA, April 1-3, 1982},
pages = {189--198},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/503896.503930},
doi = {10.1145/503896.503930},
timestamp = {Fri, 12 Mar 2021 15:27:48 +0100},
biburl = {https://dblp.org/rec/conf/ACMse/Reddy82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-27 22:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
