Jonathan Kochems
|
Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
Verification of concurrent higher-order functional programs using the actor model.
Selected Publications
| Improved Functional Flow and Reachability Analyses Using Indexed Linear Tree Grammars Jonathan Kochems and C.−H. Luke Ong In RTA. Pages 187−202. 2011. |
Info
|
Themes |
|
|
Supervisor |
|
