Selected Publications
§ P. Bailes and L. Brough, “Making Sense of Recursion
Patterns”, submitted to FormSERA 2012
§ P.A. Bailes, “ERA Challenges for Australian University ICT”, 35th
Australasian Computer Science Conference (ACSC 2012), Melbourne, Australia,
January-February 2012. Conferences in Research and Practice in Information
Technology (CRPIT), Vol. 122. M. Reynolds and B. Thomas, Eds.
§ P.A. Bailes, “Approaching
“Totally Functional Programming” through Rigorous Application of the Reuse
Principle”, presented at IFL 2011
§ P. Bailes and C.
Kemp, “Fusing Folds and Data Structures into Zoetic
Data, “Proc. 23rd IASTED International Multi-Conference on Applied
Informatics (AI 2005)”, pp. 299-306. Acta Press,
Calgary, 2005
§ P.A. Bailes and C.J.M. Kemp, Obstacles to a
Totally Functional programming Style, Proceedings 2004 Australian Software
Engineering Conference (ASWEC 2005), pp. 178-187, IEEE, 2004
§ P.A. Bailes, C.J.M Kemp, I.D Peake and S. Seefried, Why
Functional Programming Really Matters, Proceedings 21st IASTED
International Multi-Conference on Applied Informatics (AI 2003), pp 919-926, Acta Press, 2003.
§ P.A. Bailes and C.J.M. Kemp, Formal Methods
within a Totally Functional Approach to Programming, Proceedings UNU-IIST
10th Anniversary Symposium
§ P.A. Bailes
and C.J.M Kemp, Integrating Runtime Assertions with Dynamic Types:
Structuring Derivation From an Incomputable Specification, to appear 2003
Computer Software and Applications Conference (COMPSAC 2003)
§ P.A. Bailes
and I.D Peake, Design Derivation of an Open,
Java-based Reengineering Platform, Proceedings 7th European Conference on
Software Maintenance and Reengineering 2003 (CSMR 2003), pp. 239-248, IEEE,
2003.
§ P.A. Bailes
and I.D Peake, Incremental Enhancement of the
Expressiveness af a Reengineering Tool
Development Platform, Proceedings 21st IASTED International
Multi-Conference on Applied Informatics (AI 2003), pp
927-934, Acta Press, 2003.
§ P.A. Bailes,
J.V. Harrison, W.M. Lim and I.D. Peake,
Experience with a Generic Transition Architecture, Proceedings 6th IASTED
International Conference on Software Engineering and its Applications, pp.
509-514, Cambridge, USA, 2002.
§ C. Cifuentes and P.A. Bailes (eds.), Software Maintenance,
Annals of Software Engineering vol. 9, Baltzer
Science Publishers, 2000
§ P.A. Bailes,
P. Burnim and M. Chapman, Mapping Ada Source Code
into an Abstract Program Space, Proc. 1997 Asia-Pacific Software
Engineering Conference and International Computer Science Conference, pp.
171-180, IEEE, 1997
§ J.V.
Harrison, P.A. Bailes, A. Berglas and I. Peake, Re-Engineering 4GL-Based Information Systems
Applications, Proceedings 1995 Asia-Pacific Software Engineering
Conference, Brisbane, pp. 448-457, IEEE, 1995
§ P.A. Bailes,
S. Atkinson, M. Chapman, D. Johnson, I. Peake,
Towards an Open Software Conversion Architecture, International Journal of
Software Engineering and Knowledge Engineering, pp. 423-444, 1995
§ P.A. Bailes
and T. Chorvat, Facet Grammars: Towards Static
Semantic Analysis by Context-Free Parsing, Journal of Computer Languages,
vol. 18, no. 4, pp. 251-271, 1992
§ P.A. Bailes, Discovering Functional
Programming with Imperative Languages, Journal of Computer Science Education,
vol. 3, no. 2, pp. 87-110, 1992
|
