Pages that link to "Item:Q1887676"
From MaRDI portal
The following pages link to Pigs from sausages? Reengineering from assembler to C via FermaT transformations (Q1887676):
Displaying 4 items.
- Provably correct derivation of algorithms using FermaT (Q736840) (← links)
- Portability by automatic translation: A large-scale case study (Q1277766) (← links)
- Combining dynamic and static slicing for analysing assembler (Q2266945) (← links)
- High-fidelity C/C++ code transformation (Q2382607) (← links)