The following pages link to Martin Ward (Q736839):
Displayed 6 items.
- Provably correct derivation of algorithms using FermaT (Q736840) (← links)
- Item:Q736839 (redirect page) (← links)
- Pigs from sausages? Reengineering from assembler to C via FermaT transformations (Q1887676) (← links)
- Combining dynamic and static slicing for analysing assembler (Q2266945) (← links)
- Transformational Programming and the Derivation of Algorithms (Q4932639) (← links)
- Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension (Q4950861) (← links)