Bi-inductive structural semantics
From MaRDI portal
Publication:1012127
DOI10.1016/j.ic.2008.03.025zbMath1165.68042MaRDI QIDQ1012127
Publication date: 14 April 2009
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2008.03.025
relational semantics; structural operational semantics; grammar; inductive definition; SOS; big-step semantics; small-step semantics; trace semantics; bi-inductive definition; co-inductive definition; divergence semantics; fixpoint definition; non-monotone definition
68Q55: Semantics in the theory of computing
Uses Software