I. Guessarian, "Algebraic Semantics"
1981 | pages: 168 | ISBN: 3540102841 | DJVU | 2 mb
One of the main purposes of semantics is to dissociate the syntactical and semantical parts of programs, in order to pro ve, whenever possible, properties of programs at the syntactical level-ie. independent of any particular language or machine. Algebraic methods, as we shall see in this course , seem to fulfill this goal by providing, with a minimal theoretical investment , quite a few interesting methods in dealing with proofs of program properties (e.g. equivalence , termination) or program transformation and optimization (eg. suppression of GOTO's, recursions, useless branches).