Thesis
Verification of asynchronous concurrency and the shaped stack constraint
- Abstract:
-
In this dissertation, we study the verification of concurrent programs written in the programming language Erlang using infinite-state model-checking. Erlang is a widely used, higher order, dynamically typed, call-by-value functional language with algebraic data types and pattern-matching. It is further augmented with support for actor concurrency, i.e. asynchronous message passing and dynamic process creation.
With decidable model-checking in mind, we identify actor co...
Expand abstract
Actions
Access Document
- Files:
-
-
(Preview, pdf, 1.9MB, Terms of use)
-
Authors
+ Engineering and Physical Sciences Research Council
More from this funder
- Funding agency for:
- Kochems, J
- Publication date:
- 2014
- DOI:
- Type of award:
- DPhil
- Level of award:
- Doctoral
- Awarding institution:
- Oxford University, UK
- Language:
-
English
- Keywords:
- Subjects:
- UUID:
-
uuid:cd487639-0e7f-4248-9405-e05e8a8383d5
- Local pid:
-
ora:12126
- Deposit date:
-
2015-08-12
- ARK identifier:
Terms of use
- Copyright holder:
- Kochems, J
- Copyright date:
- 2014
- Licence:
- Other
If you are the owner of this record, you can report an update to it here: Report update to this record