0.4.4 Abstract Syntax Tree . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .,14 0.4.5 Attribute Grammars,. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .,15 0.4.6 Semantics Of A Programming,Language,. . . . . . . . . . . . . . . . . . . . 18 0.4.7 Operatinal Sematics,. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .,19 0.4.8 Denotational Sematics . . . . . . .
... [Show full abstract] . . . . . . . . . . . . . . . . . . . . . . .,19 0.4.9 Axiomatical Sematics,. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .,19 0.5 Other Variations Of Formal Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . 20 0.5.1 Example,. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .,20 0.6 Formal Methods and Software Evolution . . . . . . . . . . . . . . . . . . . . . . . . . 22 0.7 Maintaining legacy applications,. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 0.8 FermaT Program Transformation Theory . . . . . . . . . . . . . . . . . . . . . . . . . 23 0.9 History of FermaT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .,24 0.10 The WSL language,. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .,25 0.11 Mathematical Foundation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 0.11.1 Semantics Of A WSL Program . . . . . . . . . . . . . . . . . . . . . . . . . . 27