Items related to Semantics of Programming Languages: Programming Language...
Synopsis
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.
"synopsis" may belong to another edition of this title.
(No Available Copies)
Search Books: Create a WantCan't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
Create a Want
