Concepedia

Martin Ward

MW

Statistics

Publications

28

Citations

764

H-Index

18

Active since

1986

Affiliations

De Montfort University(Current)

Durham University

University of Essex

Goldsmiths University of London

Martin Ward is an author at De Montfort University specializing in computing, computer science, and formal methods.

ORCID

Publications per year

1986–2010

28

Publications

28

Proving program refinements and transformations

Martin Ward · 1986 · 82 citations

, , +12

Assembler to C migration using the FermaT transformation system

Martin Ward · 1999 · 65 citations

, , +9

Abstracting a specification from code

Martin Ward · Journal of Software Maintenance Research and Practice · 1993 · 52 citations

, , +9

Slicing as a program transformation

Martin Ward, Hussein Zedan · ACM Transactions on Programming Languages and Systems · 2007 · 42 citations · Full text

, , +13

A Multipurpose Backtracking Algorithm

H. A. Priestley, Martin Ward · Journal of Symbolic Computation · 1994 · 40 citations

, , +3

1–5 of 28