Matches in DBpedia 2014 for { <http://dbpedia.org/resource/FermaT_Transformation_System> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- FermaT_Transformation_System abstract "The FermaT Transformation System is an industrial strength program transformation system targeted at reverse engineering, program comprehension and migration between programming languages. The system is currently being used to translate IBM 370 Assembler modules into equivalent readable and maintainable C and COBOL programs.FermaT is available as free software under the GNU General Public License (GPL). A program transformation is any operation which changes the textof a program without changing its external behaviour. A simple exampleis reversing the arms of an IF statement:IF x = 0 THEN y := 1 ELSE y := 2 FIis semantically equivalent to:IF x <> 0 THEN y := 2 ELSE y := 1 FIA more complex example of a program transformation is Semantic Slicing. Consider the following WSL program:total:= 0;i := 0;evens := 0;noevens := 0;odds := 0;noodds := 0;n := n0;WHILE i <= n DO evenflag := A[i] MOD 2; evenflag := 0; IF FALSE THEN evens := evens + A[i]; noevens := noevens + 1 ELSE odds := odds + A[i]; noodds := noodds + 1 FI; total := total + A[i]; i := i + 1 OD;IF noevens <> 0 THEN meaneven := evens/noevens ELSE meaneven := 0 FI;IF noodds <> 0 THEN meanodd := odds/noodds ELSE meanodd := 0 FI;mean := total/(n+1);evendifference := ABS(meaneven - mean);odddifference := ABS(meanodd-mean)Suppose we are interested in the final value of the variable evendifference. Save the program as a text file test-1.wsl and run the transformation:dotrans test-1.wsl test-2.wsl Semantic_Slice data=evendifferenceThis generates the output file test-2.wsl:evendifference := ABS(REDUCE("+", A[0..n0]) / (n0 + 1))See this paper for more information about semantic slicing.Download FermaT here".
- FermaT_Transformation_System wikiPageExternalLink fermat.html.
- FermaT_Transformation_System wikiPageExternalLink csmr2005-t.pdf.
- FermaT_Transformation_System wikiPageID "7378637".
- FermaT_Transformation_System wikiPageRevisionID "603102661".
- FermaT_Transformation_System hasPhotoCollection FermaT_Transformation_System.
- FermaT_Transformation_System subject Category:Program_transformation_tools.
- FermaT_Transformation_System type Artifact100021939.
- FermaT_Transformation_System type Implement103563967.
- FermaT_Transformation_System type Instrumentality103575240.
- FermaT_Transformation_System type Object100002684.
- FermaT_Transformation_System type PhysicalEntity100001930.
- FermaT_Transformation_System type ProgramTransformationTools.
- FermaT_Transformation_System type Tool104451818.
- FermaT_Transformation_System type Whole100003553.
- FermaT_Transformation_System type Software.
- FermaT_Transformation_System type Work.
- FermaT_Transformation_System type CreativeWork.
- FermaT_Transformation_System type InformationEntity.
- FermaT_Transformation_System comment "The FermaT Transformation System is an industrial strength program transformation system targeted at reverse engineering, program comprehension and migration between programming languages. The system is currently being used to translate IBM 370 Assembler modules into equivalent readable and maintainable C and COBOL programs.FermaT is available as free software under the GNU General Public License (GPL).".
- FermaT_Transformation_System label "FermaT Transformation System".
- FermaT_Transformation_System sameAs m.025_w4p.
- FermaT_Transformation_System sameAs Q5444353.
- FermaT_Transformation_System sameAs Q5444353.
- FermaT_Transformation_System sameAs FermaT_Transformation_System.
- FermaT_Transformation_System wasDerivedFrom FermaT_Transformation_System?oldid=603102661.
- FermaT_Transformation_System isPrimaryTopicOf FermaT_Transformation_System.