Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of His 60th Birthday

Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of His 60th Birthday

Müller, Peter
Schaefer, Ina

Hardcover

FictionProgramming

ISBN10: 3319980467
ISBN13: 9783319980461
Publisher: Springer Nature
Published: Oct 25 2018
Pages: 323
Weight: 1.41
Height: 0.75 Width: 6.14 Depth: 9.21
Language: English
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.

Also in

Programming

View All