The following pages link to (Q5020649):
Displaying 4 items.
- Deriving Pretty-Big-Step Semantics from Small-Step Semantics (Q5410704) (← links)
- VeriFly: <i>On-the-fly Assertion Checking via Incrementality</i> (Q6063866) (← links)
- Parallel Logic Programming: A Sequel (Q6063892) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)