Transitions and Trees

DOI10.1017/CBO9780511840449zbMath1197.68052OpenAlexW4236511489MaRDI QIDQ3561031

Hans Hüttel

Publication date: 17 May 2010

Full work available at URL: https://doi.org/10.1017/cbo9780511840449

zbMATH Keywords

structural operational semanticssemantics of programming languages

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Unnamed Item ⋮ Unnamed Item ⋮ Dynamic structural operational semantics

Uses Software

• MMT

This page was built for publication: Transitions and Trees