The following pages link to David J. Pearce (Q532424):
Displayed 9 items.
- Formalisation and implementation of an algorithm for bytecode verification of \(\@\)NonNull types (Q532427) (← links)
- A space-efficient algorithm for finding strongly connected components (Q888958) (← links)
- Verifying Whiley programs with Boogie (Q2102933) (← links)
- Sound and Complete Flow Typing with Unions, Intersections and Negations (Q2926650) (← links)
- Computing Tutte Polynomials (Q2989108) (← links)
- A dynamic topological sort algorithm for directed acyclic graphs (Q3507767) (← links)
- (Q4738783) (← links)
- (Q5414580) (← links)
- Computational resources (Q5889989) (← links)