1
Active Object Languages: Current Research Trends [E-Book] /
Table of Contents: “...Active Objects based on Algebraic Effects -- Actor-based Designs for Distributed Self-organisation Programming -- Encore: Coda -- Bridging Between Active Objects: Multitier Programming for Distributed, Concurrent Systems -- A Survey of Actor-Like...”

Full text 
Favorites
Saved in:
2
Programming Languages and Systems [E-Book] : 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings /
Table of Contents: “... Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules -- Actor Services: Modular Verification of Message Passing Programs -- Transfinite Step-indexing: Decoupling Concrete and Logical Steps -- A Higher-Order Abstract Syntax Approach to Verified...”

Full text 
Favorites
Saved in:
3
Coordination Models and Languages [E-Book] : 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /

Full text 
Favorites
Saved in:
4
Scala: From a Functional Programming Perspective [E-Book] : An Introduction to the Programming Language /

Full text 
Favorites
Saved in:
5
Runtime Verification [E-Book] : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
Table of Contents: “...-Temporal Properties -- Runtime Adaptation for Actor Systems -- Robust Online Monitoring of Signal Temporal Logic -- On Verifying The Hennessy-Milner Logic with Recursion at Runtime -- Assuring the Guardians -- A Case Study on Runtime Monitoring of an Autonomous...”

Full text 
Favorites
Saved in:

Narrow Search Results