Theory of Programs

This work addresses the foundational problem of formalizing programming theory for researchers and practitioners in computer science, but it appears incremental as it builds on existing set-theoretic concepts rather than introducing a new paradigm.

The paper tackles the problem of establishing a foundational theory for programs, programming, and programming languages using elementary set theory, deriving properties as theorems that are typically treated as axioms in classic approaches, and it covers both sequential and concurrent computation without specifying concrete results or numbers.