Parametric limits

Research output: Contribution to conference (unpublished)Paper

Publications

  1. 2013
  2. Published

    Automata-Theoretic Semantics of Idealized Algol with Passive Expressions

    Uday Reddy, 4 Nov 2013, p. 325-348. 24 p.

    Research output: Contribution to conference (unpublished)Paper

  3. 2012
  4. Published

    An Automata-Theoretic Model of Idealized Algol

    Uday Reddy, 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 proceedingConference contribution

  5. 2011
  6. Published

    An Automata-Theoretic Model of Objects

    Uday Reddy, 23 Oct 2011. 15 p.

    Research output: Contribution to conference (unpublished)Paper

  7. 2004
  8. Published

    Correctness of data representations involving heap data structures

    Uday Reddy, 1 Jan 2004, In : Science of Computer Programming. 50, 1-3, p. 129-160 32 p.

    Research output: Contribution to journalArticle

  9. 2002
  10. Published

    Objects and Classes in Algol-like Languages

    Uday Reddy, 10 Jan 2002, In : Information and Computation. 172, 1, p. 63-97 35 p.

    Research output: Contribution to journalArticle