Automata-Theoretic Semantics of Idealized Algol with Passive Expressions

Uday Reddy

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

  • 2 Paper
  • 1 Conference contribution

Search results

  • 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

    Parametric limits

    Dunphy, BP. & Reddy, U., 1 Jan 2004, p. 242-253. 12 p.

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

    Open Access
    File
    16 Citations (Scopus)
    195 Downloads (Pure)