Analysis/Transf. of AKL [SICS]

• Achievements:
  • An analyzer producing type and alias information for the concurrent constraint language AKL specified, implemented and evaluated. [SICS]
  • A partial evaluator for AKL specified and evaluated. [SICS]

• Future plans:
  • A formal verification of the AKL analysis framework will be produced. The output of the analyzer will be used in the new AKL compiler. [SICS]
  • The experience gained in the project in analysis and program transformation will also be used for the programming language Erlang at Ericsson. [SICS]