Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

FermaT Transformation System

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
  • Martin P. Ward
  • IEEE 13th International Working Conference on…
  • 2013
  • Corpus ID: 28587006
The FermaT transformation system has proved to be a very successful tool for migrating from assembler to high level languages… Expand
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… Expand
  • table I
Is this relevant?
2005
2005
A program transformation is an operation which can be applied to any program (satisfying the transformations applicability… Expand
Is this relevant?
2005
2005
In this paper we describe an improved formalisation of slicing in WSL (wide spectrum language) transformation theory and apply… Expand
  • figure 2
Is this relevant?
2004
2004
Software reengineering has been described as being "about as easy as reconstructing a pig from a sausage" (Comput. Canada 18… Expand
  • figure 1
Is this relevant?
2002
2002
  • Martin P. Ward
  • Proceedings 26th Annual International Computer…
  • 2002
  • Corpus ID: 14851081
We describe how the concept of program slicing can be formalised in WSL transformation theory. This formalism naturally tends… Expand
Is this relevant?
2000
2000
  • Martin P. Ward
  • Proceedings Seventh Working Conference on Reverse…
  • 2000
  • Corpus ID: 5727935
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort… Expand
  • figure 1
Is this relevant?
Highly Cited
1999
Highly Cited
1999
  • Martin P. Ward
  • Proceedings IEEE International Conference on…
  • 1999
  • Corpus ID: 2895347
The FermaT transformation system, based on research carried out over the last twelve years (1987-99) at Durham University and… Expand
  • figure 1
Is this relevant?
1998
1998
 
Is this relevant?