Ray Toal

View Scopus Profile

Ray Toal

Professor of Computer Science

    • 6 Conference contribution
    • 6 Article
    • 4 Conference article
    • 2 Book
    Filter
    Conference contribution

    Search results

    • 2012

      Object structure navigation

      Stewart, M. C. & Toal, R., 2012, Proceedings of the 6th IASTED International Conference on Software Engineering and Applications, SEA 2002. Acta Press, p. 137-142 6 p. (Proceedings of the 6th IASTED International Conference on Software Engineering and Applications, SEA 2002).

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

    • 2011

      Modeling patterns for javascript browser-based games

      Long, J. C. & Toal, R. J., 2011, Proceedings of the 15th IASTED International Conference on Internet and Multimedia Systems and Applications, IMSA 2011. p. 51-56 6 p. (Proceedings of the 15th IASTED International Conference on Internet and Multimedia Systems and Applications, IMSA 2011).

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

    • 2009

      An annotation language framework for statically-typed syntax trees

      Abrams, L. & Toal, R., 2009, Proceedings of the 13th IASTED International Conference on Software Engineering and Applications, SEA 2009. p. 1-6 6 p. (Proceedings of the 13th IASTED International Conference on Software Engineering and Applications, SEA 2009).

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

    • Convention-based syntactic descriptions

      Toal, R. & Smith, D., 2009, 2009 WRI World Congress on Computer Science and Information Engineering, CSIE 2009. p. 797-801 5 p. 5170425. (2009 WRI World Congress on Computer Science and Information Engineering, CSIE 2009; vol. 7).

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

    • 1995

      Implementing the model-view-controller paradigm in Ada 95

      Sasine, J. M. & Toal, R. J., Nov 1 1995, Proceedings of the Conference on TRI-Ada 1995: Ada's Role in Global Markets: Solutions for a Changing Complex World, TRI-Ada 1995. Engle, C. B. (ed.). Association for Computing Machinery, Inc, p. 202-211 10 p. (Proceedings of the Conference on TRI-Ada 1995: Ada's Role in Global Markets: Solutions for a Changing Complex World, TRI-Ada 1995).

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

      Open Access
    • 1991

      Case studies in compiler correctness using HOL

      Martin, D. F. & Toal, R. J., 1991, Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications. Archer, M., Joyce, J. J., Levitt, K. N. & Windley, P. J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 242-252 11 p. 596291. (Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications).

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