Emanuele D'Osualdo
|
Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
Semantics, Model Checking, Abstract Interpretation, Process Algebra, Declarative Programming, Models of Concurrency
Links
Selected Publications
| Soter: an Automatic Safety Verifier for Erlang Emanuele D'Osualdo‚ Jonathan Kochems and Luke Ong In Proceedings of the 2nd edition on Programming systems‚ languages and applications based on actors‚ agents‚ and decentralized control abstractions. Pages 137–140. ACM. 2012. |
| Automatic Verification of Erlang−Style Concurrency Emanuele D'Osualdo‚ Jonathan Kochems and Luke Ong University of Oxford DCS Technical Report. 2012. |
Info
|
Themes |
Automated Verification | Programming Languages | Foundations, Logic and Structures |
|
Supervisor |
|
