Overview
Hoare Advanced Homework Assistant (HAHA) is a programming language embedded in a modern program development environment based on Eclipse. The purpose of HAHA is to teach students Hoare logic. A programmer can write simple programs and annotate them with Hoare logic assertions. The environment verifies the assertions against the code and discharges them with help of external theorem provers, both automated and interactive. A user can write programs that manipulate on true integers and on arrays.
Download
v.56
- Binary version (v 0.56), Linux 64 bit
- Binary version (v 0.56), Windows 64 bit
- Binary version (v 0.56), Windows 32 bit
- Source files (v 0.56)
v.55
- Binary version (v 0.55), Linux 64 bit
- Binary version (v 0.55), Windows 64 bit
- Binary version (v 0.55), Windows 32 bit
- Source files (v 0.55)
v.50
- Binary versions (v 0.50), MacOS, Windows, Linux (tested with Z3 version 4.3.0)
- Source files (v 0.50)
Documentation
- User manual
- Example programs
- Requirements for HAHA
- Overview of internal design
- Report on HAHA as teaching aid
Contact
People who develop HAHA are:
If you want to contact us, please email to:
. Especially, when you discover a bug.
