Boro Sitnikovski

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 4

Top Topics

Functional Programming

Programming Language

Formal Verification

Top Venues

Publications

Boro Sitnikovski
The Budge programming language. CoRR (2022)
Boro Sitnikovski
Tutorial on implementing Hoare logic for imperative programs in Haskell. CoRR (2021)
Boro Sitnikovski
Formalizing line editors in Coq. CoRR (2020)
Boro Sitnikovski, Biljana Stojcevska, Lidija Goracinova-Ilieva, Irena Stojmenovska
PubSub implementation in Haskell with formal verification in Coq. CoRR (2020)