Principled Software Development

Keyphrases

Publications

2018

Peter Müller
The Binomial Heap Verification Challenge in Viper. Principled Software Development (2018)
Simon Bischof, Joachim Breitner, Denis Lohner, Gregor Snelting
Illi Isabellistes Se Custodes Egregios Praestabant. Principled Software Development (2018)
Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday Principled Software Development (2018)
Annette Bieniusa, Peter Zeller, Shraddha Barke
Collaborative Work Management with a Highly-Available Kanban Board. Principled Software Development (2018)
James Noble, Alex Potanin, Toby C. Murray, Mark S. Miller
Abstract and Concrete Data Types vs Object Capabilities. Principled Software Development (2018)
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt
Same Same But Different: Interoperability of Software Product Line Variants. Principled Software Development (2018)
Einar Broch Johnsen, Ingrid Chieh Yu
Dynamic Software Updates and Context Adaptation for Distributed Active Objects. Principled Software Development (2018)
Yuyan Bao, Gary T. Leavens
A Methodology for Invariants, Framing, and Subtyping in JML. Principled Software Development (2018)
Jan Olaf Blech
A Case for Certifying Compilers in Industrial Automation. Principled Software Development (2018)
Klaus Schneider, Marc Dahlem
Are Synchronous Programs Logic Programs? Principled Software Development (2018)
Frank S. de Boer, Stijn de Gouw
Compositional Semantics for Concurrent Object Groups in ABS. Principled Software Development (2018)
Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider
Smart Contracts: A Killer Application for Deductive Source Code Verification. Principled Software Development (2018)
Roland Meyer, Sebastian Wolff
Reasoning About Weak Semantics via Strong Semantics. Principled Software Development (2018)
Eduardo Zambon, Arend Rensink
Recipes for Coffee: Compositional Construction of JAVA Control Flow Graphs in GROOVE. Principled Software Development (2018)
Derrick G. Kourie, Tinus Strauss, Loek Cleophas, Bruce W. Watson
Using CSP to Develop Quality Concurrent Software. Principled Software Development (2018)
Dilian Gurov, Jonas Westman
A Hoare Logic Contract Theory: An Exercise in Denotational Semantics. Principled Software Development (2018)
Marieke Huisman, Sebastiaan J. C. Joosten
Towards Reliable Concurrent Software. Principled Software Development (2018)
Bernhard Beckert, Mattias Ulbrich
Trends in Relational Program Verification. Principled Software Development (2018)
K. Rustan M. Leino, Daniel Matichuk
Modular Verification Scopes via Export Sets and Translucent Exports. Principled Software Development (2018)
Ina Schaefer
A Personal History of Delta Modelling. Principled Software Development (2018)