BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × Germany
1 × Italy
1 × Poland
1 × United Kingdom
12 × USA
3 × France
Collaborated with:
∅ F.Bronsard B.P.Dunphy H.Yang J.C.Reynolds T.L.Lakshman C.Pyo P.Mishra S.Brookes P.W.O'Hearn R.W.Hasker T.K.Lakshman V.Swarup E.Ireland
Talks about:
program (7) logic (7) type (5) languag (4) semant (4) function (3) rewrit (2) object (2) induct (2) order (2)

Person: Uday S. Reddy

DBLP DBLP: Reddy:Uday_S=

Contributed to:

POPL 20142014
ICALP (2) 20122012
POPL 20122012
LICS 20042004
ESOP 20032003
FoSSaCS 20002000
CADE 19941994
ICLP 19941994
LICS 19941994
JICSLP 19921992
FPCA 19911991
ILPS 19911991
ALP 19901990
CADE 19901990
NACLP 19901990
NACLP 19891989
RTA 19891989
LFP 19881988
POPL 19851985
SLP 19851985
SLP 19841984

Wrote 21 papers:

POPL-2014-BrookesOR
The essence of Reynolds (SB, PWO, USR), pp. 251–256.
ICALP-v2-2012-ReddyD #algol #formal method
An Automata-Theoretic Model of Idealized Algol — (USR, BPD), pp. 337–350.
POPL-2012-ReddyR #logic
Syntactic control of interference for separation logic (USR, JCR), pp. 323–336.
LICS-2004-DunphyR #parametricity
Parametric Limits (BPD, USR), pp. 242–251.
ESOP-2003-ReddyY #correctness #data transformation #data type
Correctness of Data Representations Involving Heap Data Structures (USR, HY), pp. 223–237.
FoSSaCS-2000-YangR #calculus #on the #refinement #semantics
On the Semantics of Refinement Calculi (HY, USR), pp. 359–374.
CADE-1994-BronsardRH #induction #order #using
Induction using Term Orderings (FB, USR, RWH), pp. 102–117.
ICLP-1994-Reddy #aspect-oriented #higher-order #logic programming
Higher-order Aspects of Logic Programming (USR), pp. 402–418.
LICS-1994-Reddy #independence
Passivity and Independence (USR), pp. 342–352.
JICSLP-1992-BronsardLR #framework #logic programming #proving #source code #termination
A Framework of Directionality for Proving Termination of Logic Programs (FB, TKL, USR), pp. 321–335.
FPCA-1991-SwarupRI
Assignments for Applicative Languages (VS, USR, EI), pp. 192–214.
ISLP-1991-LakshmanR #prolog #re-engineering #semantics #type system
Typed Prolog: A Semantic Reconstruction of the Mycroft-O’Keefe Type System (TLL, USR), pp. 202–217.
ALP-1990-BronsardR #axiom #functional #logic
Axiomatization of a Functional Logic Language (FB, USR), pp. 101–116.
CADE-1990-Reddy #induction #term rewriting
Term Rewriting Induction (USR), pp. 162–177.
NACLP-1990-Reddy #logic programming #source code
Types for Logic Programs (USR), pp. 836–840.
NACLP-1989-PyoR #logic programming #polymorphism #source code
Inference of Polymorphic Types for Logic Programs (CP, USR), pp. 1115–1132.
RTA-1989-Reddy #synthesis
Rewriting Techniques for Program Synthesis (USR), pp. 388–403.
LFP-1988-Reddy #object-oriented #semantics
Objects as Closures: Abstract Semantics of Object-Oriented Languages (USR), pp. 289–297.
POPL-1985-MishraR #type checking
Declaration-Free Type Checking (PM, USR), pp. 7–21.
SLP-1985-Reddy85 #functional #semantics
Narrowing as the Operational Semantics of Functional Languages (USR), pp. 138–151.
SLP-1984-Reddy84 #functional #logic programming #source code
Transformation of Logic Programs into Functional Programs (USR), pp. 187–196.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.