Person:736839: Difference between revisions

Latest revision as of 21:22, 12 December 2023

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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Martin Ward

Revision as of 22:18, 24 September 2023 view source Import230924090903 (talk \| contribs) 970,846 edits Created automatically from import230924090903	Latest revision as of 21:22, 12 December 2023 view source AuthorDisambiguator (talk \| contribs) Bots, Administrators 1,238,488 edits m AuthorDisambiguator moved page Martin Ward to Martin Ward: Duplicate
(No difference)