Pages that link to "Item:Q3183540"
From MaRDI portal
The following pages link to Trace-Based Coinductive Operational Semantics for While (Q3183540):
Displayed 6 items.
- Monads for behaviour (Q265824) (← links)
- Flag-based big-step semantics (Q516041) (← links)
- Generalizing Inference Systems by Coaxioms (Q2988632) (← links)
- (Q3121528) (← links)
- Characteristic formulae for liveness properties of non-terminating CakeML programs (Q5875446) (← links)
- A type system with subtyping for WebAssembly's stack polymorphism (Q6109484) (← links)