default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMartin P. Ward
Person information
- affiliation: Durham University, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j23]Doni Pracner
, Martin P. Ward, Natasa Sukur, Zoran Budimac:
Climbing the Hill to Understand the Code. IEEE Access 12: 56847-56859 (2024)
2010 – 2019
- 2017
- [j22]Martin P. Ward, Hussein Zedan:
The formal semantics of program slicing for nonterminating computations. J. Softw. Evol. Process. 29(1) (2017) - 2014
- [j21]Jonathan P. Bowen, Mike Hinchey, Helge Janicke, Martin P. Ward, Hussein Zedan:
Formality, Agility, Security, and Evolution in Software Development. Computer 47(10): 86-89 (2014) - [j20]Martin P. Ward, Hussein Zedan:
Provably correct derivation of algorithms using FermaT. Formal Aspects Comput. 26(5): 993-1031 (2014) - 2013
- [c20]Martin P. Ward:
Assembler restructuring in FermaT. SCAM 2013: 147-156 - 2011
- [j19]Martin P. Ward, Hussein Zedan:
Deriving a Slicing Algorithm via FermaT Transformations. IEEE Trans. Software Eng. 37(1): 24-47 (2011) - [c19]Feng Chen, Hong Zhou, Hongji Yang, Martin P. Ward, William Cheng-Chung Chu:
Requirements Recovery by Matching Domain Ontology and Program Ontology. COMPSAC 2011: 602-607 - 2010
- [j18]Martin P. Ward, Hussein Zedan:
Combining dynamic and static slicing for analysing assembler. Sci. Comput. Program. 75(3): 134-175 (2010) - [c18]Martin P. Ward, Hussein Zedan:
Transformational Programming and the Derivation of Algorithms. ISCIS 2010: 17-22
2000 – 2009
- 2009
- [c17]Martin P. Ward:
Properties of Slicing Definitions. SCAM 2009: 23-32 - [c16]Martin P. Ward:
The FermaT Maintenance Environment Tool Demonstration. SCAM 2009: 125-126 - 2008
- [j17]Martin P. Ward, Hussein Zedan, Matthias Ladkau, Stefan Natelberg:
Conditioned semantic slicing for abstraction; industrial experiment. Softw. Pract. Exp. 38(12): 1273-1304 (2008) - 2007
- [j16]Martin P. Ward:
How knowledge companies succeed. J. Knowl. Manag. 11(6): 16-27 (2007) - [j15]Martin P. Ward, Hussein Zedan:
Slicing as a program transformation. ACM Trans. Program. Lang. Syst. 29(2): 7 (2007) - 2005
- [j14]Sebastian Danicic, Mohammed Daoudi, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Lahcen Ouarbya, Martin P. Ward:
ConSUS: a light-weight program conditioner. J. Syst. Softw. 77(3): 241-262 (2005) - [c15]Martin P. Ward, Hussein Zedan:
MetaWSL and Meta-Transformations in the FermaT Transformation System. COMPSAC (1) 2005: 233-238 - [c14]Martin P. Ward, Hussein Zedan, T. Hardcastle:
Conditioned Semantic Slicing via Abstraction and Refinement in FermaT. CSMR 2005: 178-187 - 2004
- [j13]Martin P. Ward:
Pigs from sausages? Reengineering from assembler to C via FermaT transformations. Sci. Comput. Program. 52: 213-255 (2004) - [c13]Martin P. Ward, Hussein Zedan, T. Hardcastle:
Legacy Assembler Reengineering and Migration. ICSM 2004: 157-166 - 2003
- [c12]Richard C. Millham, Martin P. Ward, Hongji Yang:
Determining Granularity of Independent Tasks for Reengineering a Legacy System into an OO System. COMPSAC 2003: 342-347 - [c11]Martin P. Ward:
Slicing the SCAM Mug: A Case Study in Semantic Slicing. SCAM 2003: 88-97 - 2002
- [c10]Martin P. Ward:
Program Slicing via FermaT Transformations. COMPSAC 2002: 357-362 - [c9]Mohammed Daoudi, Lahcen Ouarbya, John Howroyd, Sebastian Danicic, Mark Harman, Chris Fox, Martin P. Ward:
ConSUS: A Scalable Approach to Conditioned Slicing. WCRE 2002: 109-118 - 2001
- [c8]Martin P. Ward:
The FermaT Assembler Re-engineering Workbench. ICSM 2001: 659-662 - [c7]Martin P. Ward:
The Formal Transformation Approach to Source Code Analysis and Manipulation. SCAM 2001: 187-195 - [i1]Martin P. Ward:
Reverse Engineering from Assembler to Formal Specifications via Program Transformations. CoRR cs.SE/0105006 (2001) - 2000
- [c6]Martin P. Ward:
Reverse Engineering from Assembler to Formal Specifications via Program Transformations. WCRE 2000: 11-
1990 – 1999
- 1999
- [j12]Martin P. Ward, Keith H. Bennett:
Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension. Comput. J. 42(8): 650-673 (1999) - [c5]Martin P. Ward:
Assembler to C Migration Using the FermaT Transformation System. ICSM 1999: 67-76 - 1996
- [j11]Martin P. Ward:
Program Analysis by Formal Transformation. Comput. J. 39(7): 598-618 (1996) - [j10]Martin P. Ward:
Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking Algorithm. IEEE Trans. Software Eng. 22(9): 665-686 (1996) - 1995
- [j9]Martin P. Ward, Keith H. Bennett:
Formal Methods to Aid the Evolution of Software. Int. J. Softw. Eng. Knowl. Eng. 5(1): 25-47 (1995) - [j8]Martin P. Ward, Keith H. Bennett:
Formal methods for legacy systems. J. Softw. Maintenance Res. Pract. 7(3): 203-219 (1995) - [j7]Martin P. Ward:
Abstraction refinement: A model of software evolution discussion by M. Ward. J. Softw. Maintenance Res. Pract. 7(5): 377-378 (1995) - [j6]Martin P. Ward:
A definition of abstraction. J. Softw. Maintenance Res. Pract. 7(6): 443-450 (1995) - 1994
- [j5]Martin P. Ward:
Reverse Engineering through Formal Transformation: Knuths 'Polynomial Addition' Algorithm. Comput. J. 37(9): 795-813 (1994) - [j4]Hilary A. Priestley, Martin P. Ward:
A Multipurpose Backtracking Algorithm. J. Symb. Comput. 18(1): 1-40 (1994) - [j3]E. J. Younger, Martin P. Ward:
Inverse-engineering a simple real-time program. J. Softw. Maintenance Res. Pract. 6(4): 197-234 (1994) - [j2]Martin P. Ward:
Language-Oriented Programming. Softw. Concepts Tools 15(4): 147-161 (1994) - [c4]Keith H. Bennett, Martin P. Ward:
Theory and practice of middle-out programming to support program understanding. WPC 1994: 168-175 - 1993
- [j1]Martin P. Ward:
Abstracting a specification from code. J. Softw. Maintenance Res. Pract. 5(2): 101-122 (1993) - [c3]Edward J. Younger, Martin P. Ward:
Understanding concurrent programs using program transformations. WPC 1993: 160-168 - [c2]Martin P. Ward, K. H. Bennett:
A Practical Program Transformation System for Reverse Engineering. WCRE 1993: 212-221 - 1992
- [c1]Martin P. Ward:
A Recursion Removal Theorem. Refine 1992: 43-69
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-05-19 00:11 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:
