Transitions and Trees

Hans Hüttel

Bog | Engelsk

Beskrivelse

Structural operational semantics is a simple, yet powerful mathematical theory for describing the behaviour of programs in an implementation-independent manner. This book provides a self-contained introduction to structural operational semantics, featurin…