Pigs from sausages? Reengineering from assembler to C via FermaT transformations

DOI10.1016/J.SCICO.2004.03.007zbMath1091.68020OpenAlexW2084338221MaRDI QIDQ1887676

Martin Ward

Publication date: 22 November 2004

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2004.03.007

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (2)

Combining dynamic and static slicing for analysing assembler ⋮ Provably correct derivation of algorithms using FermaT

This page was built for publication: Pigs from sausages? Reengineering from assembler to C via FermaT transformations