Transitions and trees: an introduction to structural operational semantics
Auteur :
Hüttel, Hans
Éditeur :
Cambridge University Press
ISBN :
9780521197465
Date de publication :
29 avr. 2010
Dimensions :
25,4 x 18,0 x 1,9 cm
Poids :
670 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
A rigorous, self-contained introduction to structural operational semantics and how to use it to describe, reason about and assist the implementation of features found in common programming languages. The author assumes no experience with any specific programming language, making the book easily accessible to students and computing professionals.