The following pages link to Programming Languages and Systems (Q5493398):
Displayed 3 items.
- A compositional natural semantics and Hoare logic for low-level languages (Q877026) (← links)
- Specification and verification challenges for sequential object-oriented programs (Q2643131) (← links)
- A Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure Operators (Q3540185) (← links)