Related Articles

Search Results

Advertisement

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, featuring semantic
This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.