The following pages link to (Q4413693):
Displaying 5 items.
- A high-level modular definition of the semantics of C\(_{\sharp}\) (Q555781) (← links)
- A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines (Q2117610) (← links)
- (Q4680195) (← links)
- An independent axiomatisation for free short-circuit logic (Q5375874) (← links)
- Non-commutative propositional logic with short-circuit evaluation (Q5862001) (← links)