|
2000 Journal Article Software maintenance - PrefaceCifuentes, C and Bailes, P (2000). Software maintenance - Preface. Annals of Software Engineering, 9 (1-4), 1-3. |
|
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 |
|
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 |
|
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 |
