Search the dblp DataBase
Martin P. Ward: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Richard Millham, Martin P. Ward, Hongji Yang
Determining Granularity of Independent Tasks for Reengineering a Legacy System into an OO System. [Citation Graph (0, 0)][DBLP]
COMPSAC, 2003, pp:342-347 [Conf] - Martin P. Ward
Program Slicing via FermaT Transformations. [Citation Graph (0, 0)][DBLP]
COMPSAC, 2002, pp:357-362 [Conf] - Martin P. Ward, Hussein Zedan
MetaWSL and Meta-Transformations in the FermaT Transformation System. [Citation Graph (0, 0)][DBLP]
COMPSAC (1), 2005, pp:233-238 [Conf] - Martin P. Ward, Hussein Zedan, T. Hardcastle
Conditioned Semantic Slicing via Abstraction and Refinement in FermaT. [Citation Graph (0, 0)][DBLP]
CSMR, 2005, pp:178-187 [Conf] - Martin P. Ward
The FermaT Assembler Re-engineering Workbench. [Citation Graph (0, 0)][DBLP]
ICSM, 2001, pp:659-662 [Conf] - Martin P. Ward
Assembler to C Migration Using the FermaT Transformation System. [Citation Graph (0, 0)][DBLP]
ICSM, 1999, pp:67-76 [Conf] - Martin P. Ward, Hussein Zedan, T. Hardcastle
Legacy Assembler Reengineering and Migration. [Citation Graph (0, 0)][DBLP]
ICSM, 2004, pp:157-166 [Conf] - Martin P. Ward
The Formal Transformation Approach to Source Code Analysis and Manipulation. [Citation Graph (0, 0)][DBLP]
SCAM, 2001, pp:187-195 [Conf] - Martin P. Ward
Slicing the SCAM Mug: A Case Study in Semantic Slicing. [Citation Graph (0, 0)][DBLP]
SCAM, 2003, pp:88-97 [Conf] - Mohammed Daoudi, Lahcen Ouarbya, John Howroyd, Sebastian Danicic, Mark Harman, Chris Fox, Martin P. Ward
ConSUS: A Scalable Approach to Conditioned Slicing. [Citation Graph (0, 0)][DBLP]
WCRE, 2002, pp:109-118 [Conf] - Martin P. Ward
Reverse Engineering from Assembler to Formal Specifications via Program Transformations. [Citation Graph (0, 0)][DBLP]
WCRE, 2000, pp:11-0 [Conf] - Martin P. Ward
Reverse Engineering through Formal Transformation: Knuths 'Polynomial Addition' Algorithm. [Citation Graph (0, 0)][DBLP]
Comput. J., 1994, v:37, n:9, pp:795-813 [Journal] - Martin P. Ward, Keith H. Bennett
Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension. [Citation Graph (0, 0)][DBLP]
Comput. J., 1999, v:42, n:8, pp:650-673 [Journal] - Martin P. Ward
Reverse Engineering from Assembler to Formal Specifications via Program Transformations [Citation Graph (0, 0)][DBLP]
CoRR, 2001, v:0, n:, pp:- [Journal] - Hilary A. Priestley, Martin P. Ward
A Multipurpose Backtracking Algorithm. [Citation Graph (0, 0)][DBLP]
J. Symb. Comput., 1994, v:18, n:1, pp:1-40 [Journal] - Sebastian Danicic, Mohammed Daoudi, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Lahcen Ouarbya, Martin P. Ward
ConSUS: a light-weight program conditioner. [Citation Graph (0, 0)][DBLP]
Journal of Systems and Software, 2005, v:77, n:3, pp:241-262 [Journal] - Martin P. Ward
Pigs from sausages? Reengineering from assembler to C via FermaT transformations. [Citation Graph (0, 0)][DBLP]
Sci. Comput. Program., 2004, v:52, n:, pp:213-255 [Journal] - Martin P. Ward
Language-Oriented Programming. [Citation Graph (0, 0)][DBLP]
Software - Concepts and Tools, 1994, v:15, n:4, pp:147-161 [Journal] - Martin P. Ward
Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking Algorithm. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Software Eng., 1996, v:22, n:9, pp:665-686 [Journal] - Martin P. Ward, Hussein Zedan
Slicing as a program transformation. [Citation Graph (0, 0)][DBLP]
ACM Trans. Program. Lang. Syst., 2007, v:29, n:2, pp:- [Journal]
Search in 0.002secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002