Languages
Sitnikovski, Boro.
Overview
| Works: | 2 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Introduction to dependent types with Idris = encoding program proofs in types /
by:
Sitnikovski, Boro.; SpringerLink (Online service)
(Electronic resources)
Introducing blockchain with Lisp = implement and extend blockchains with the Racket language /
by:
Sitnikovski, Boro.; SpringerLink (Online service)
(Electronic resources)
Introducing software verification with Dafny language = proving program correctness /
by:
Sitnikovski, Boro.; SpringerLink (Online service)
(Electronic resources)
Subjects
Computer Science, general.
Software Engineering.
Programming Language.
Professional Computing.
Programming Languages, Compilers, Interpreters.
Computer software- Verification.
Idris (Computer program language)
Racket (Computer program language)
Microsoft.
Functional programming (Computer science)
Blockchains (Databases)
Computer Science.