Automata-Theoretic Semantics of Idealized Algol with Passive Expressions

Research output: Contribution to conference (unpublished)Paperpeer-review

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 proceedingConference contribution

    1 Citation (Scopus)
  • 2011

    An Automata-Theoretic Model of Objects

    Reddy, U. & Dunphy, B., 23 Oct 2011. 15 p.

    Research output: Contribution to conference (unpublished)Paper

    Open Access
    File
    122 Downloads (Pure)
  • 2004

    Parametric limits

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

    Research output: Contribution to conference (unpublished)Paperpeer-review

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