Howdy Logo
Glossary Hero image

The Howdy Glossary

Search terms in Glossary


Bogus is a small statically typed programming language with an imperative syntax. It was implemented as an example in the book "Conceptual Programming with Bogus" by Chris Hankin and Guy L. Steele Jr. The project is meant to teach compiler design principles and formal semantics of programming languages by providing a simple yet realistic case study for students or researchers interested in formal methods and verification techniques of computer programs.

Hire Bogus Experts

Enter your email to get started.