Parametric limits

BP Dunphy, Uday Reddy

Research output: Contribution to conference (unpublished) › Paper › peer-review

16 Citations (Scopus)

193 Downloads (Pure)

2013
Automata-Theoretic Semantics of Idealized Algol with Passive Expressions
Reddy, U., 4 Nov 2013, p. 325-348. 24 p.
Research output: Contribution to conference (unpublished) › Paper › peer-review
2012

An Automata-Theoretic Model of Idealized Algol
Reddy, U. & Dunphy, B. P., 2012, Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II. Czumaj, A., Mehlhorn, K., Pitts, A. & Wattenhofer, R. (eds.). Springer, p. 337-350 (Lecture Notes in Computer Science; vol. 7392).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)
2011

An Automata-Theoretic Model of Objects
Reddy, U. & Dunphy, BP., 23 Oct 2011. 15 p.
Research output: Contribution to conference (unpublished) › Paper

Open Access
File

108 Downloads (Pure)
2004
Correctness of data representations involving heap data structures
Reddy, U. & Yang, H., 1 Jan 2004, In: Science of Computer Programming. 50, 1-3, p. 129-160 32 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
26 Citations (Scopus)

208 Downloads (Pure)
2002

Objects and Classes in Algol-like Languages
Reddy, U., 10 Jan 2002, In: Information and Computation. 172, 1, p. 63-97 35 p.
Research output: Contribution to journal › Article › peer-review

File

11 Citations (Scopus)

198 Downloads (Pure)

Research output