Articoli correlati a Semantics of Programming Languages: Programming Language...
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.
(nessuna copia disponibile)
Cerca: Inserisci un desiderataNon riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!
Inserisci un desiderata
