FermaT Maintenance Environment. The objective of the FermaT transformation system is to enable the migration of large, highly complex legacy systems from Assembler to higher-level language such as C or COBOL.
Keywords for this software
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Ward, Martin; Zedan, Hussein: Provably correct derivation of algorithms using FermaT (2014)
- Ward, Martin; Zedan, Hussein: Combining dynamic and static slicing for analysing assembler (2010)