Uday S. Reddy

Available identifiers

zbMath Open reddy.uday-sMaRDI QIDQ265825

List of research outcomes

Publication	Date of Publication	Type
Term rewriting induction	2023-04-28	Paper
Conditional rewriting in focus	2023-03-09	Paper
Reduction techniques for first-order reasoning	2023-03-09	Paper
Bisimulation as a logical relation	2022-12-20	Paper
Rewriting techniques for program synthesis	2022-12-09	Paper
Axiomatization of a functional logic language	2022-08-16	Paper
Deriving logical relations from interpretations of predicate logic	2022-04-29	Paper
Induction using term orderings	2020-01-21	Paper
A logical view of assignments	2017-11-17	Paper
The essence of Reynolds	2016-08-05	Paper
Logical relations and parametricity -- a Reynolds programme for category theory and programming languages	2016-05-06	Paper
Automata-theoretic semantics of idealized Algol with passive expressions	2016-04-12	Paper
Syntactic control of interference for separation logic	2015-09-11	Paper
The essence of Reynolds	2014-04-10	Paper
An automata-theoretic model of Idealized Algol (extended abstract)	2012-11-01	Paper
Fine-grained concurrency with separation logic	2012-03-09	Paper
Correctness of data representations involving heap data structures	2004-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4417896	2003-07-30	Paper
Linear continuation-passing	2003-05-14	Paper
Objects and classes in Algol-like languages	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4508314	2000-10-03	Paper
Objects, interference, and the Yoneda embedding	2000-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4222776	1998-12-13	Paper
Induction using term orders	1996-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q4855345	1996-04-16	Paper
Deductive and inductive synthesis of equational programs	1994-06-09	Paper
On the power of abstract interpretation	1993-11-15	Paper
https://portal.mardi4nfdi.de/entity/Q3780494	1987-01-01	Paper

Research outcomes over time

This page was built for person: Uday S. Reddy