An Automata-Theoretic Model of Idealized Algol

Uday Reddy, Brian P Dunphy

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)
  • 1 Citations
  • 3 Paper

Search results

  • 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

  • 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)
    193 Downloads (Pure)