The following pages link to Shengchao Qin (Q436399):
Displaying 5 items.
- Automated verification of shape, size and bag properties via user-defined predicates in separation logic (Q436400) (← links)
- Verifying pointer safety for programs with unknown calls (Q604389) (← links)
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (Q652158) (← links)
- Denotational semantics and its algebraic derivation for an event-driven system-level language (Q903516) (← links)
- Programming Languages and Systems (Q5464055) (← links)
