[email protected]: ~/site/projects ❯ less mucomp-lang.html

μcomp-lang is a simple component-based imperative language. The main features of the language are the following:

• is statically type checked;
• programs are made of components, which are linked together to form a whole program;
• a component is stateful, there is only one instance of each component;
• component behaviour specifications are given in terms of interfaces, which can be provided or used by the components;
• interfaces specify a set of functions and global variables to be provided by the interface’s provider (similar to the Java programming language);
• components are statically linked to each other via their interfaces