Functions

This is a simple imperative language with functions. Evaluation includes printed output. Additionally, one extension adds a new analysis to determine if a program can leak private information, ensuring the printed output will be the same regardless of the values of private variables.

• Host language: Simple imperative language with function calls
• Security extension: Adds an analysis to determine if a program can leak private information
• List extension: Adds syntax for list expressions

Download example tarball

Back to examples