FermaT Transformation System

The FermaT Transformation System is an industrial strength program transformation system targeted at reverse engineering, program comprehension and… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1999-2017
012319992017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
  • Martin Ward
  • 2013 IEEE 13th International Working Conference…
  • 2013
The FermaT transformation system has proved to be a very successful tool for migrating from assembler to high level languages… (More)
Is this relevant?
Review
2008
Review
2008
During the last 25 years the complexity and functionality of software systems has increased dramatically. Software systems have… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
The aim of this article is to provide a unified mathematical framework for program slicing which places all slicing work for… (More)
Is this relevant?
2005
2005
A program transformation is an operation which can be applied to any program (satisfying the transformations applicability… (More)
Is this relevant?
2005
2005
In this paper we describe an improved formalisation of slicing in WSL (wide spectrum language) transformation theory and apply… (More)
  • figure 2
Is this relevant?
2004
2004
Software reengineering has been described as being “about as easy as reconstructing a pig from a sausage” [11]. But the… (More)
  • figure 1
Is this relevant?
2004
2004
We describe the legacy assembler problem and describe how the FermaT transformation system is used to reengineer assembler… (More)
Is this relevant?
2002
2002
In this paper we give a brief introduction to the foundations of WSL transformation theory and describe how the concept of… (More)
Is this relevant?
2000
2000
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort… (More)
  • figure 1
Is this relevant?
Highly Cited
1999
Highly Cited
1999
The FermaT transformation system, based on research carried out over the last twelve years at Durham University and Software… (More)
  • figure 5
Is this relevant?