Articles

Articles

A collection of articles on topics related to foundations of computer science, including logic, programming language theory, and program correctness.

A sound and complete proof system for separation logic (part 1)

26 min

Original Research

Program Correctness

A novel proof system for separation logic is explained.

Hans-Dieter A. Hiep, Frank S. de Boer

Jun 29, 2024

On invariance and inconsistency

24 min

Lecture Notes

Program Correctness

Program correctness is not easy: the requirements of a program may be inconsistent, or there may not even exist a correct program that satisfies the requirements. This…

Hans-Dieter A. Hiep

Feb 16, 2024

Can the Collatz conjecture be proven, or not?

24 min

Open Review

Program Correctness

We review a recent preprint article about the Collatz conjecture. The Collatz conjecture is a more than eighty years old problem that is still unsolved.

Hans-Dieter A. Hiep

Nov 1, 2023