Algebraic Semantics

Algebraic Semantics
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).


Alternate Link for Algebraic Semantics.rar When above links are dead

Hello Respective Visitor!

Please Login or Create a FREE Account to gain accesss to hidden contents.


Would you like to leave your comment? Please Login to your account to leave comments. Don't have an account? You can create a free account now.