We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Programming Languages

Title: Budge: a programming language and a theorem prover

Abstract: We present a simple programming language based on G\"odel numbering and prime factorization, enhanced with explicit, scoped loops, allowing for easy program composition. Further, we will present a theorem prover that allows expressing and working with formal systems. The theorem prover is simple as it relies merely on a substitution rule and set equality to derive theorems. Finally, we will represent the programming language in the theorem prover. We will show the syntax and semantics of both, and then provide a few example programs and their evaluation.
Subjects: Programming Languages (cs.PL); Computation and Language (cs.CL); Logic in Computer Science (cs.LO)
Cite as: arXiv:2205.07979 [cs.PL]
  (or arXiv:2205.07979v4 [cs.PL] for this version)

Submission history

From: Boro Sitnikovski [view email]
[v1] Mon, 16 May 2022 20:35:25 GMT (7kb)
[v2] Thu, 19 May 2022 12:25:22 GMT (5kb)
[v3] Tue, 24 May 2022 13:15:24 GMT (5kb)
[v4] Thu, 4 Aug 2022 11:47:22 GMT (7kb)

Link back to: arXiv, form interface, contact.