Being and Change: Reasoning About Invariance

DOI10.1007/978-3-319-23506-6_13zbMath1444.68046OpenAlexW2295275956MaRDI QIDQ3449632

Stijn De Gouw, Frank S. de Boer

Publication date: 4 November 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://ir.cwi.nl/pub/23713

Mathematics Subject Classification ID

Searching and sorting (68P10) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Quicksort

Cites Work

• Unnamed Item
• Unnamed Item
• Verification of sequential and concurrent programs
• Ten years of Hoare's logic: A survey. II: Nondeterminism
• On the notion of expressiveness and the rule of adaptation
• Undecidability of Propositional Separation Logic and Its Neighbours
• Proof of a recursive program: Quicksort
• Quicksort

This page was built for publication: Being and Change: Reasoning About Invariance