CH-IMP
This guide explains how to get started with the CH-IMP interpreter.
Installation
Explains how to install the CH-IMP interpreter after downloading it.
Language
Covers the syntax of the CH-IMP programming language: variables, expressions and commands.
Executing Programs
Describes how programs can be executed with the CH-IMP interpreter.
Computing Leakage
Shows how to compute an information leakage measure for a CH-IMP program that has terminated.