2001 Conference Publication Programming without data: Towards a totally functional programming styleBailes, P.A.C. (2001). Programming without data: Towards a totally functional programming style. The Fifth National Computer Science and Engineering Conference, Chiang Mai, Thailand, 7-9 November, 2001. Chiang Mai, Thailand: Chiang Mai University. |
2000 Journal Article Software maintenance - PrefaceCifuentes, C and Bailes, P (2000). Software maintenance - Preface. Annals of Software Engineering, 9 (1-4), 1-3. |
2000 Edited Outputs Journals of Software Engineering: Software MaintenanceJournals of Software Engineering: Software Maintenance. (2000). 9 (2000) |
1998 Conference Publication Design recovery through formal specificationLim, Wie Ming, Harrison, John V., Bailes, Paul A. and Berglas, Anthony (1998). Design recovery through formal specification. 1998 Australian Software Engineering Conference, ASWEC 1998, Adelaide, SA, November 9, 1998-November 13, 1998. Institute of Electrical and Electronics Engineers Inc.. doi: 10.1109/ASWEC.1998.730910 |
1993 Journal Article Facet Grammars: Towards static semantic analysis by context-free parsingBailes P.A. and Chorvat T. (1993). Facet Grammars: Towards static semantic analysis by context-free parsing. Computer Languages, 18 (4), 251-271. doi: 10.1016/0096-0551(93)90019-W |
1993 Journal Article A proposal for a genuinely-lazy streams facility for AdaBailes P.A., Johnston D.B. and Salzman E.J. (1993). A proposal for a genuinely-lazy streams facility for Ada. Computer Languages, 18 (1), 31-55. doi: 10.1016/0096-0551(93)90029-Z |
1992 Journal Article Identifying foundations of software engineering expertiseRösel, Andreas and Bailes, Paul (1992). Identifying foundations of software engineering expertise. ACM SIGCSE Bulletin, 24 (4), 52-64. doi: 10.1145/141837.141855 |
1992 Journal Article Discovering Functional Programming Through Imperative LanguagesBailes P.A. (1992). Discovering Functional Programming Through Imperative Languages. Computer Science Education, 3 (2), 87-110. doi: 10.1080/0899340920030202 |
1990 Journal Article The hierarchical development of a generic type mechanism for functional languagesBailes P.A. (1990). The hierarchical development of a generic type mechanism for functional languages. Computer Languages, 15 (1), 1-26. doi: 10.1016/0096-0551(90)90016-I |
1987 Journal Article G: A functional language with generic abstract data typesBailes P.A. (1987). G: A functional language with generic abstract data types. Computer Languages, 12 (2), 69-94. doi: 10.1016/0096-0551(87)90001-4 |
1986 Journal Article Static checking of variable handling in Dijkstra's Guarded Commands languageBailes P.A. (1986). Static checking of variable handling in Dijkstra's Guarded Commands language. Computer Languages, 11 (3-4), 123-142. doi: 10.1016/0096-0551(86)90006-8 |