Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday /
This book presents a collection of research papers that address the challenge of how to develop software in a principled way that, in particular, enables reasoning. The individual papers approach this challenge from various perspectives including programming languages, program verification, and the...
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2018.
|
| Edition: | 1st ed. 2018. |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Table of Contents:
- Smart Contracts - A Killer Application for Deductive Source Code Verification
- A Methodology for Invariants, Framing, and Subtyping in JML
- Trends in Relational Program Verification
- Collaborative work management with a highly-available Kanban board
- A Case for Certifying Compilers in Industrial Automation
- Compositional Semantics for Concurrent Object Groups in ABS
- Same Same But Different: Interoperability of Software Product Line Variants
- A Hoare Logic Contract Theory An Exercise in Denotational Semantics
- Towards Reliable Concurrent Software
- Dynamic Software Updates and Context Adaptation for Distributed Active Objects
- Using CSP to Develop Quality Concurrent Software
- Modular Verification Scopes via Export Sets and Translucent Exports
- The Binomial Heap Verification Challenge in Viper
- Abstract and Concrete Data Types vs Object Capabilities
- A Personal History of Delta Modelling
- Are Synchronous Programs Logic Programs?
- Illi Isabellistes Se Custodes Egregios Praestabant
- Reasoning about Weak Semantics via Strong Semantics
- Recipes for Coffee - Compositional Construction of JAVA Control Flow Graphs in GROOVE.
