default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPaul A. Bailes
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2016
[c30]Paul A. Bailes, Colin J. M. Kemp:
Software Engineering Foundations of Zoetic Data and Totally Functional Programming. ENASE (Selected Papers) 2016: 129-157- [c29]Paul A. Bailes, Colin J. M. Kemp:
Zoetic Data and their Generators. ENASE 2016: 260-271 - 2014
- [c28]Paul A. Bailes, Christine Cornish, Toby Myers, Louis Rago, Nick Tate, Mal Thatcher:
Towards a Discipline of Software Engineering Forensics Analysis. ENASE 2014: 235-240 - [c27]Paul A. Bailes, Leighton Brough, Colin J. M. Kemp:
From Computer Science to Software Engineering - A Programming-level Perspective. SoMeT 2014: 513-529 - 2012
- [c26]Paul A. Bailes:
ERA Challenges for Australian University ICT. ACSC 2012: 63-72 - [c25]Paul A. Bailes, Leighton Brough:
Making sense of recursion patterns. FormSERA@ICSE 2012: 16-22 - [c24]Barry Wilks, Paul A. Bailes:
Self-Definition for Software Development. SEW 2012: 52-61
2000 – 2009
- 2005
- [c23]Paul A. Bailes, Colin J. M. Kemp:
Fusing Folds and Data Structures into Zoetic Data. IASTED Conf. on Software Engineering 2005: 299-306 - 2004
- [c22]Paul A. Bailes, Colin J. M. Kemp:
Obstacles to a Totally Functional Programming Style. Australian Software Engineering Conference 2004: 178-189 - [c21]David Hearnden, Paul A. Bailes, Michael Lawley, Kerry Raymond:
Automating Software Evolution. IWPSE 2004: 95-100 - 2003
- [c20]Paul A. Bailes, Colin J. M. Kemp, Ian Peake, Sean Seefried:
Why Functional Programming Really Matters. Applied Informatics 2003: 919-926 - [c19]Paul A. Bailes, Ian Peake:
Incremental Enhancement of the Expressiveness of a Reengineering Tool Development Platform. Applied Informatics 2003: 927-934 - [c18]Paul A. Bailes, Colin J. M. Kemp:
Integrating Runtime Assertions with Dynamic Types: Structuring a Derivation from an Incomputable Specification. COMPSAC 2003: 520-526 - [c17]Paul A. Bailes, Ian Peake:
Design Derivation of an Open, Java-Based Reengineering Platform. CSMR 2003: 239-248 - 2002
- [c16]Paul A. Bailes, Colin J. M. Kemp:
Formal Methods within a Totally Functional Approach to Programming. 10th Anniversary Colloquium of UNU/IIST 2002: 287-307
1990 – 1999
- 1998
- [c15]Wie Ming Lim, John V. Harrison, Paul A. Bailes, Anthony Berglas:
Design Recovery through Formal Specification. Australian Software Engineering Conference 1998: 22-31 - 1997
- [c14]Paul A. Bailes, Paul Burnim, Murray Chapman:
Mapping Ada Source Code into an Abstract Program Space. APSEC 1997: 171-180 - 1996
- [c13]Paul A. Bailes, Paul Burnim, Murray Chapman, John V. Harrison, Ian Peake:
Towards an intelligent software maintenance network. IFIP World Conference on IT Tools 1996: 129-136 - [c12]Paul A. Bailes, Paul Burnim, Murray Chapman, Dan B. Johnston:
Derivation and Presentation of an Abstract Program Space for Ada. WPC 1996: 230- - [c11]Paul A. Bailes, Paul Burnim, Murray Chapman, Eric J. Salzman:
Towards an Ada Basis for KBSE: Refine-Ada 95 Conversion. TRI-Ada 1996: 193-204 - 1995
- [j14]Paul A. Bailes, Steven Atkinson, Murray Chapman, Dan B. Johnston, Ian Peake:
Towards an Open Software Conversion Architecture. Int. J. Softw. Eng. Knowl. Eng. 5(3): 423-444 (1995) - [c10]Paul A. Bailes, Paul Burnim, Murray Chapman, Eric J. Salzman:
KBSE and Ada - Object and Enabling Technology. Ada-Europe 1995: 152-163 - [c9]John V. Harrison, Paul A. Bailes, Anthony Berglas, Ian Peake:
Re-engineering 4GL-based Information System Applications. APSEC 1995: 448-457 - 1994
- [j13]Paul A. Bailes, Murray Chapman, Mae Chia, Ian Peake:
Generic Re-Engineering Environment Design Criteria: An Evaluation of the Software RefineryTM. Aust. Comput. J. 26(4): 151-157 (1994) - [c8]Paul A. Bailes, Steven Atkinson, Murray Chapman, Dan B. Johnston, Ian Peake:
Proprietary vs. "open systems" options in the construction of knowledge-based software reengineering environments. APSEC 1994: 60-69 - 1993
- [j12]Paul A. Bailes, Dan B. Johnston, Eric J. Salzman:
A Proposal for a Genuinely-Lazy Streams Facility for Ada. Comput. Lang. 18(1): 31-55 (1993) - [j11]Paul A. Bailes, Trevor Chorvat:
Facet Grammars: Towards Static Semantic Analysis by Context-Free Parsing. Comput. Lang. 18(4): 251-271 (1993) - [c7]Paul A. Bailes, Ming Gong, Andrew Moran:
Why Functional Languages Really Need Parallelism. ICCI 1993: 423-427 - [c6]Paul A. Bailes, Dan B. Johnston, Eric J. Salzman:
Preprocessing First-Class Functions for Ada. ICCI 1993: 524-528 - [c5]Paul A. Bailes, Murray Chapman, Ming Gong, Ian Peake:
GRIT-an extended REFINE for more executable specifications. KBSE 1993: 123-132 - 1992
- [j10]Paul A. Bailes:
Discovering Functional Programming Through Imperative Languages. Comput. Sci. Educ. 3(2): 87-110 (1992) - [j9]Andreas Rösel, Paul A. Bailes:
Identifying foundations of software engineering expertise. ACM SIGCSE Bull. 24(4): 52-64 (1992) - [c4]Paul A. Bailes, Dan B. Johnston, Eric J. Salzman, Li Wang:
Full Functional Programming in a Declarative Ada Dialect. TRI-Ada 1992: 350-358 - 1990
- [j8]Paul A. Bailes:
The Hierarchical Development of a Generic Type Mechanism for Functional Languages. Comput. Lang. 15(1): 1-26 (1990) - [c3]Paul A. Bailes, Dan Johnson, Eric J. Salzman, Li Wang:
DAda - an Ada preprocessor for functional programming. TRI-Ada 1990: 114-123
1980 – 1989
- 1989
- [c2]Paul A. Bailes, Eric J. Salzman, Andreas Rösel:
A Proposal for a Bachelor's Degree Program in Software Bngineering. CSEE 1989: 90-108 - 1988
- [j7]Paul A. Bailes:
An Advanced Problem-Oriented Introduction to Imperative Programming with Modula-2. Comput. J. 31(6): 531-539 (1988) - 1987
- [j6]Paul A. Bailes:
G: A Functional Language with Generic Abstract Data Types. Comput. Lang. 12(2): 69-94 (1987) - 1986
- [j5]Paul A. Bailes:
Static Checking of Variable Handling in Dijkstra's Guarded Commands Language. Comput. Lang. 11(3/4): 123-142 (1986) - 1985
- [j4]Paul A. Bailes:
A Low-Cost Implementation of Coroutines for C. Softw. Pract. Exp. 15(4): 379-395 (1985) - [j3]Paul A. Bailes:
DDA - A Data Definition Facility for UNIX Using Awk. Softw. Pract. Exp. 15(10): 1011-1020 (1985) - 1984
- [j2]Paul A. Bailes:
A Rational Pascal. Aust. Comput. J. 16(4): 155-163 (1984) - [j1]Paul A. Bailes, Antonio Salvadori:
A Semantically-based Formatting Discipline for Pascal. Softw. Pract. Exp. 14(3): 235-251 (1984) - 1983
- [b1]Paul A. Bailes:
The derivation of an applicative programming language for string processing / a thesis submitted by Paul Anthony Bailes. University of Queensland, Australia, 1983 - 1980
- [c1]Paul A. Bailes, Larryi H. Reeker:
An Experimental Applicative Programming Language For Linguistics And String Processing. COLING 1980: 520-525
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
