2 citations · 2 across the 4 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2022
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…
cs.PL2021
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…
cs.PL2020
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…