[email protected]: ~/site/projects

μ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
The code below shows a little program, that prints a greeting, using the μComp programming language.

mucomp-lang.html (END)