Download Transitions and Trees: An Introduction to Structural Operational Semantics PDF EPUB
Author: Hans Huttel
Pages: 292
Size: 2.051,47 Kb
Publication Date: June 7,2010
Category: Programming Languages
Structural operational semantics is certainly a simple, yet effective mathematical theory for describing the behaviour of programs within an implementation-independent manner. On the way, the written text introduces and applies the relevant evidence techniques, including types of induction and notions of semantic equivalence (which includes bisimilarity). This book offers a self-contained launch to structural operational semantics, offering semantic definitions using big-step and small-stage semantics of several standard program writing language constructs, which includes control structures, organized declarations and items, parameter mechanisms and procedural abstraction, concurrency, nondeterminism and the top features of practical programming languages. No encounter with any specific program writing language is required. The effect is an intensive introduction that makes the topic clear to learners and computing experts without sacrificing its rigour. Thoroughly class-tested, this reserve has advanced from lecture notes utilized by the writer over a 10-season period at Aalborg University to instruct undergraduate and graduate college students.