The following pages link to Bi-inductive structural semantics (Q1012127):
Displaying 7 items.
- Tie-breaking semantics and structural totality (Q676419) (← links)
- Coinductive big-step operational semantics (Q1012129) (← links)
- Bi-inductive structural semantics (extended abstract) (Q2871828) (← links)
- Trace-Based Coinductive Operational Semantics for While (Q3183540) (← links)
- A non-standard inductive semantics (Q3976060) (← links)
- (Q4524510) (← links)
- Syntactic and semantic soundness of structural dataflow analysis (Q6536282) (← links)