Semantics with applications : an appetizer [ Livre] / Flemming, Nielson / Hanne Riis, Nielson

Auteur principal: Nielson, Hanne RiisCo-auteur: Nielson, FlemmingLangue: Anglais ; de l'oeuvre originale, Anglais.Publication : London : Springer, 2007Description : 1 vol.(X-274 p.) ; 24 cmISBN: 9781846286919.Collection: Undergraduate topics in computer scienceClassification: F 3 Théorie des langages de programmationRésumé: Semantics will play an important role in the future development of software systems and domain-specific languages. This book provides a needed introductory presentation of the fundamental ideas behind these approaches, stresses their relationship by formulating and proving the relevant theorems, and illustrates the applications of semantics in computer science. Historically important application areas are presented together with some exciting potential applications. The text investigates the relationship between various methods and describes some of the main ideas used, illustrating these by means of interesting applications. The book provides a rigorous introduction to the main approaches to formal semantics of programming languages..Sujet - Nom commun: Langages de programmation -- Sémantique
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Informatique
F 3 NIE (Browse shelf) Available F 3 Théorie des langages de programmation 037702
ENS Rennes - Bibliothèque
Informatique
F 3 NIE (Browse shelf) Available F 3 Théorie des langages de programmation 037701

Semantics will play an important role in the future development of software systems and domain-specific languages. This book provides a needed introductory presentation of the fundamental ideas behind these approaches, stresses their relationship by formulating and proving the relevant theorems, and illustrates the applications of semantics in computer science. Historically important application areas are presented together with some exciting potential applications. The text investigates the relationship between various methods and describes some of the main ideas used, illustrating these by means of interesting applications. The book provides a rigorous introduction to the main approaches to formal semantics of programming languages.

Powered by Koha