Martin Ward

Available identifiers

zbMath Open ward.martin-pMaRDI QIDQ736839

List of research outcomes

Publication	Date of Publication	Type
Provably correct derivation of algorithms using FermaT	2016-08-05	Paper
Transformational Programming and the Derivation of Algorithms	2010-10-06	Paper
Combining dynamic and static slicing for analysing assembler	2010-02-26	Paper
Pigs from sausages? Reengineering from assembler to C via FermaT transformations	2004-11-22	Paper
Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension	2000-04-27	Paper

Research outcomes over time

This page was built for person: Martin Ward