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
Reduction techniques for first-order reasoning	2023-03-09	Paper
Conditional rewriting in focus	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	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Uday S. Reddy