An abstract contract theory for programs with procedures

DOI10.1007/978-3-030-71500-7_8zbMath1467.68039arXiv2101.06087OpenAlexW3147630542MaRDI QIDQ2044183

Christian Lidström, Dilian Gurov

Publication date: 4 August 2021

Full work available at URL: https://arxiv.org/abs/2101.06087

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

An abstract contract theory for programs with procedures

Cites Work

• Semantics with applications: an appetizer.
• An abstract contract theory for programs with procedures
• Behavioral interface specification languages
• A Compositional Specification Theory for Component Behaviours
• On Rely-Guarantee Reasoning
• Multiple Viewpoint Contract-Based Specification and Design
• Reuse in Software Verification by Abstract Method Calls
• Hoare-Style Reasoning from Multiple Contracts
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item

This page was built for publication: An abstract contract theory for programs with procedures