Analysis/Transf. of AKL [SICS]
WS Presentations Main Page
Next: Sequentialization / Granularity
Up: Document: achievements
Previous: Analysis of Concurrent
- 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]
Thu Jan 18 11:30:54 MET 1996 <herme@fi.upm.es>-<webmaster@clip.dia.fi.upm.es>