Documents
-
- Download
- Title page_Contents
- open access
-
- Download
- Part I Introduction
- open access
-
- Download
- Chapter 1 Introduction
- open access
-
- Download
- Part II Programming model
- open access
-
- Download
- Chapter 2
- open access
- Full text at publishers site
-
- Download
- Chapter 3
- open access
- Full text at publishers site
-
- Download
- Part III Implementation
- open access
-
- Download
- Chapter 4
- open access
- Full text at publishers site
-
- Download
- Part IV Application
- open access
-
- Download
- Chapter 5
- open access
- Full text at publishers site
-
- Download
- Chapter 6
- open access
- Full text at publishers site
-
- Download
- Summary_Summary in Dutch
- open access
-
- Download
- Currculum Vitae_Acknowledgements
- open access
-
- Download
- Bibliography_List of figures_List of Tables
- open access
-
- Download
- Propositions
- open access
In Collections
This item can be found in the following collections:
Actors at work
The core contributions of this thesis target the intersection of object orientation, actor
model, and concurrency. We choose Java as the main target programming language
and as one of the mainstream object-oriented languages. We formalize a subset of
Java and its concurrency API to facilitate formal verification and reasoning
about it. We create an abstract mapping from a concurrent-object modeling language, ABS, to the programming semantics of concurrent Java. We provide the formal semantics of the mapping and runtime properties of the concurrency layer including deadlines and scheduling policies. We provide an implementation of the ABS concurrency layer as a Java API library and framework utilizing the latest language additions in Java 8.
- All authors
- Nobakht, B.
- Supervisor
- Boer, F.S. de
- Co-supervisor
- Gouw, P.T de
- Committee
- Arbab, F.; Bonsangue, M.M.; Johnsen, E.B.; Sirjani, M.
- Qualification
- Doctor (dr.)
- Awarding Institution
- Leiden Institute of Advanced Computer Science (LIACS) , Faculty of Science , Leiden University
- Date
- 2016-12-15
- ISBN
- 9789402804362