Normal view MARC view ISBD view

Semantics with applications : an appetizer / Hanne Riis Nielson and Flemming Nielson

Main Author Nielson, Hanne Riis Coauthor Nielson, Flemming Country Reino Unido. Publication London : Springer, cop. 2007 Description XII, 274 p. ; 24 cm Series Undergraduate topics in computer science ISBN 1-84628-691-3
978-1-84628-691-9
CDU 519.682
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Holdings
Item type Current location Call number Status Date due Barcode Item holds Course reserves
Monografia Biblioteca Geral da Universidade do Minho
BGUMD 109742 Available 388353
Monografia Biblioteca Geral da Universidade do Minho
BGUMD 109741 Available 388354

Licenciatura em Ciências da Computação Semântica das Liguagens de Programação 2º semestre

Total holds: 0

Enhanced descriptions from Syndetics:

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.

There are no comments for this item.

Log in to your account to post a comment.