A
Menu
February 16, 2024 other Open access Aachen paper

On Invariance and Inconsistency

DOI: 10.59350/2r39a-f7740 Full text (OA) OpenAlex

Abstract

Download the PDF version of this article 1 Introduction How can you explain important concepts from program correctness in a simple and intuitive manner? In this blog post, we shall have a look at some puzzles and analyze them from the perspective of program correctness.

Authors 1

  1. Hans-Dieter A. Hiep corresponding Aachen

    Leiden University

    Affiliation as printed

    Leiden University

Cited by 0 stored of 0

No patents citing this paper on Lens.org (checked 2026-10-11).

References 1

1 result