Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,553,175 papers from all fields of science
Search
Sign In
Create Free Account
FermaT Transformation System
The FermaT Transformation System is an industrial strength program transformation system targeted at reverse engineering, program comprehension and…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
List of program transformation systems
Program transformation
Refinement (computing)
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Reszta jest dziełem człowieka, czyli Fermat i inni
Mariusz Skałba
2016
Corpus ID: 57929785
2011
2011
A parallel transformations framework for cluster environments
P. Bartels
2011
Corpus ID: 60317272
Faculty of Technology Software Technology Research Laboratory Doctor of Philosophy In recent years program transformation…
Expand
2010
2010
Transformational Programming and the Derivation of Algorithms
Martin P. Ward
,
H. Zedan
International Symposium on Computer and…
2010
Corpus ID: 17565675
The transformational programming, method of algorithm derivation starts with a formal specification of the result to be achieved…
Expand
Review
2008
Review
2008
Clustering Techniques on Transformation Systems
P. Bartels
Informatiktage
2008
Corpus ID: 14398061
The common use of computer systems or application programs over a long period of time can result in quite large and complex…
Expand
2007
2007
Slicing as a program transformation
Martin P. Ward
,
H. Zedan
TOPL
2007
Corpus ID: 8463011
The aim of this article is to provide a unified mathematical framework for program slicing which places all slicing work for…
Expand
Review
2007
Review
2007
Constraint Based Transformation Theory
H. Zedan
2007
Corpus ID: 6838064
During the last 25 years the complexity and functionality of s tware systems has increased dramatically. Software systems have to…
Expand
2005
2005
MetaWSL and meta-transformations in the FermaT transformation system
Martin P. Ward
,
H. Zedan
Annual International Computer Software and…
2005
Corpus ID: 2028309
A program transformation is an operation which can be applied to any program (satisfying the transformations applicability…
Expand
2001
2001
Fermat : i sogni di un magistrato all'origine della metematica moderna
G. Giorello
,
C. Sinigaglia
2001
Corpus ID: 169921234
1998
1998
Una vez más, Fermat: matemáticas para periodistas
F. Mellizo
1998
Corpus ID: 117341737
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE