Boogie - Programming language

Boogie is a programming language created in 2008.

#1876on PLDB

16Years Old

21Repos

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

Tags: programming language
There are at least 21 Boogie repos on GitHub
Early development of Boogie happened in Microsoft
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;

Language features

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