2 citations · 2 across the 3 of their papers we have counts for
4 papers
Budge: a programming language and a theorem prover
Boro Sitnikovski
We present a simple programming language based on Gödel numbering and prime factorization, enhanced with explicit, scoped loops, allowing for easy program composition. Further, we…
Tutorial implementation of Hoare logic in Haskell
Boro Sitnikovski
Using the programming language Haskell, we introduce an implementation of propositional calculus, number theory, and a simple imperative language that can evaluate arithmetic and b…
Formalizing line editors in Coq
Boro Sitnikovski
Text editors represent one of the fundamental tools that writers use - software developers, book authors, mathematicians. A text editor must work as intended in that it should allo…
PubSub implementation in Haskell with formal verification in Coq
Boro Sitnikovski, Biljana Stojcevska, Lidija Goracinova-Ilieva +1
In the cloud, the technology is used on-demand without the need to install anything on the desktop. Software as a Service is one of the many cloud architectures. The PubSub messagi…