TL;DR
This paper develops a comprehensive theoretical framework for understanding programs, programming, and programming languages using elementary set theory, deriving properties as theorems and covering both sequential and concurrent computation.
Contribution
It introduces a unified set-theoretic foundation for programming theory, deriving key properties as theorems and encompassing sequential and concurrent models.
Findings
Derives properties of programs as theorems from set theory
Provides a unified framework for sequential and concurrent computation
Establishes foundational concepts for programming languages
Abstract
A general theory of programs, programming and programming languages built up from a few concepts of elementary set theory. Derives, as theorems, properties treated as axioms by classic approaches to programming. Covers sequential and concurrent computation.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputability, Logic, AI Algorithms