Sinossi
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In programming language theory, semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages and models of computation. The formal semantics of a language is given by a mathematical model that describes the possible computations described by the language.It has close links with other areas of computer science such as programming language design, type theory, compilers and interpreters, program verification and a model checking.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
