Boogie

Boogie is a programming language created in 2008.

#1768on PLDB

16Years Old

21Repos

The Boogie IVL (intermediate verification language) is a simple language designed for verification which was originally created by Microsoft Research.

Boogie website
There are at least 21 Boogie repos on GitHub
Boogie first developed in Microsoft
file extensions for Boogie include bpl
The Google BigQuery Public Dataset GitHub snapshot shows 4 users using Boogie in 4 repos on GitHub
Pygments supports syntax highlighting for Boogie

Example from the web:

// Variable a is a nested map that maps
// integers to a map that maps 32-bit wide bitvectors
// to booleans.
var a:[int][bv32]bool;

Feature	Supported	Token	Example
Comments	✓
MultiLine Comments	✓
Line Comments	✓
Integers	✓

Boogie - Programming language

Language features