default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID60th Birthday: Arnd Poetzsch-Heffter , 2018
- Peter Müller, Ina Schaefer:
Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. Springer 2018, ISBN 978-3-319-98046-1 - Klaus Schneider, Marc Dahlem:
Are Synchronous Programs Logic Programs? 251-266 - Wolfgang Ahrendt, Gordon J. Pace
, Gerardo Schneider:
Smart Contracts: A Killer Application for Deductive Source Code Verification. 1-18 - Yuyan Bao, Gary T. Leavens:
A Methodology for Invariants, Framing, and Subtyping in JML. 19-39 - Bernhard Beckert, Mattias Ulbrich:
Trends in Relational Program Verification. 41-58 - Annette Bieniusa, Peter Zeller, Shraddha Barke:
Collaborative Work Management with a Highly-Available Kanban Board. 59-72 - Jan Olaf Blech:
A Case for Certifying Compilers in Industrial Automation. 73-86 - Frank S. de Boer, Stijn de Gouw:
Compositional Semantics for Concurrent Object Groups in ABS. 87-98 - Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt:
Same Same But Different: Interoperability of Software Product Line Variants. 99-117 - Dilian Gurov, Jonas Westman:
A Hoare Logic Contract Theory: An Exercise in Denotational Semantics. 119-127 - Marieke Huisman, Sebastiaan J. C. Joosten:
Towards Reliable Concurrent Software. 129-146 - Einar Broch Johnsen, Ingrid Chieh Yu:
Dynamic Software Updates and Context Adaptation for Distributed Active Objects. 147-164 - Derrick G. Kourie, Tinus Strauss, Loek Cleophas, Bruce W. Watson:
Using CSP to Develop Quality Concurrent Software. 165-184 - K. Rustan M. Leino, Daniel Matichuk:
Modular Verification Scopes via Export Sets and Translucent Exports. 185-202 - Peter Müller:
The Binomial Heap Verification Challenge in Viper. 203-219 - James Noble, Alex Potanin, Toby C. Murray, Mark S. Miller:
Abstract and Concrete Data Types vs Object Capabilities. 221-240 - Ina Schaefer:
A Personal History of Delta Modelling. 241-250 - Simon Bischof, Joachim Breitner, Denis Lohner, Gregor Snelting:
Illi Isabellistes Se Custodes Egregios Praestabant. 267-282 - Roland Meyer, Sebastian Wolff:
Reasoning About Weak Semantics via Strong Semantics. 283-303 - Eduardo Zambon, Arend Rensink:
Recipes for Coffee: Compositional Construction of JAVA Control Flow Graphs in GROOVE. 305-323
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-21 01:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
