SODA

Fixpoint Analysis of Type and Alias in AKL Programs

Sjöland, Thomas and Sahlin, Dan (1994) Fixpoint Analysis of Type and Alias in AKL Programs. [SICS Report]

[img]
Preview
PDF
309Kb
[img]Postscript
116Kb

Abstract

We have defined and implemented a method for analysis of the CCP language AKL in the spirit of abstract interpretation that uses a static set of semantic equations which abstracts the concurrent execution of an AKL program. The method strictly separates the setting up of the equation system from the solving of the system with a fixpoint procedure. The computation strategies used, results for a number of test programs and the conclusions we draw from this experimental effort are reported. The software implementing the system described herein, is deliverable number D.WP.1.6.1.M2 in the ESPRIT project ParForce 6707.

Item Type:SICS Report
Additional Information:Revised report.
Uncontrolled Keywords:Concurrent Constraint Programming, Analysis, AKL,fixpoint computation
ID Code:2133
Deposited By:Vicki Carleson
Deposited On:23 Oct 2007
Last Modified:18 Nov 2009 16:00

Repository Staff Only: item control page