Contact
How to shop
Delivery
Shopping guide
Concurrency in Scala
English
152 b
Delivery to Austria
Up to 30 days for returns
Customers also purchased
Addressing the complexity of concurrency programming in the context of changing hardware remains an ongoing challenge. Overcoming limitations of conventional concurrency, I have investigated several ways of concurrency correctness verification in Scala. Initially, I investigated the transformation of software contracts into test-oracles to perform fully automated testing, a concept known from ongoing research in Eiffel. Therefore, I investigated several Design by Contracts tools and finally developed f-DBC, a novel tool based on a flexible component architecture for supporting functional Design by Contract in Scala. An performance analysis provides evidence that contracts written in f-DBC do not cause any measurable reduction in run-time performance compared to the same application without contracts. However, an empirical analysis of eight Eiffel and twelve Scala projects has provided evidence that contracts are seldom written in real world projects. Therefore, I have developed the main contribution of this book: a macro for the Scala compiler that replaces the initial approach with compiler checks on pure functions as these are the foundation of functional concurrency.
About the book
English
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Paperback
6.19
€
Hi! I'm Libroamiko, your book advisor.
How can I help you?