Published 2017
Table of Contents:
“...6.4
Modelling of an ATM Service -- 6.4.1 ATM Service -- Version 1 -- 6.4.2 ATM Service -- Version 2 -- 6.4.3 ATM Service -- Version 3 (fixed) -- 6.5 Conclusions and Related Work -- References -- Chapter 7 --
Programming Adaptive Microservice Applications: An AIOCJ Tutorial* -- 7.1 Introduction -- 7.2 AIOCJ Outline -- 7.2.1 AIOCJ Architecture and Workflow -- 7.3 Choreographic
Programming -- 7.4 Integration with Legacy Software -- 7.5 Adaptation -- 7.6 Deployment and Adaptation Procedure -- 7.7 Conclusion -- References -- Chapter 8 -- JaDA -- the Java Deadlock Analyzer -- 8.1 Introduction -- 8.2 Example -- 8.3 Overview of JaDA's Theory -- 8.3.1 The Abstract Behavior of the Network Class -- 8.3.2 Behavioral Type Inference -- 8.3.3 Analysis of Behavioral Types -- 8.4 The JaDA Tool -- 8.4.1 Prerequisites -- 8.4.2 The Architecture -- 8.4.3 The Current JVML Coverage -- 8.4.4 Tool Configuration -- 8.4.5 Deliverables -- 8.5 Current Limitations -- 8.6 Related Tools and Assessment -- 8.7 Conclusions -- References -- Chapter 9 -- Type-Based Analysis of Linear Communications -- 9.1 Language -- 9.2 Type System -- 9.3 Extended Examples -- 9.3.1 Fibonacci Stream Network -- 9.3.2 Full-Duplex and Half-Duplex Communications -- 9.3.3
Load Balancing -- 9.3.4 Sorting Networks -- 9.3.5 Ill-typed, Lock-free
Process Networks -- 9.4 Related Work -- References -- Chapter 10 -- Session Types with Linearity in Haskell -- 10.1 Introduction -- 10.2 Pre-Session Types in Haskell -- 10.2.1 Tracking Send and Receive Actions -- 10.2.2 Partial Safety via a Type-Level Function for Duality -- 10.2.3 Limitations -- 10.3 Approaches in the Literature -- 10.3.1 Note on Recursion and Duality -- 10.3.2 Single Channel -- Neubauer and Thiemann [9] -- 10.3.3 Multi-Channel Linearity -- Pucella and Tov [13] -- 10.3.4 An Alternate Approach -- Sackman and Eisenbach [15] -- 10.3.5 Multi-Channels with Inference....
”
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook