FermaT Transformation System
Semantic Scholar uses AI to extract papers important to this topic.
The FermaT transformation system has proved to be a very successful tool for migrating from assembler to high level languages… (More)
During the last 25 years the complexity and functionality of software systems has increased dramatically. Software systems have… (More)
- ACM Trans. Program. Lang. Syst.
The aim of this article is to provide a unified mathematical framework for program slicing which places all slicing work for… (More)
A program transformation is an operation which can be applied to any program (satisfying the transformations applicability… (More)
In this paper we describe an improved formalisation of slicing in WSL (wide spectrum language) transformation theory and apply… (More)
- Sci. Comput. Program.
Software reengineering has been described as being “about as easy as reconstructing a pig from a sausage” . But the… (More)
We describe the legacy assembler problem and describe how the FermaT transformation system is used to reengineer assembler… (More)
In this paper we give a brief introduction to the foundations of WSL transformation theory and describe how the concept of… (More)
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort… (More)
The FermaT transformation system, based on research carried out over the last twelve years at Durham University and Software… (More)