Fixpoint Analysis of Type and Alias in AKL Programs
Number of Authors: 2
1994 (English)Report (Refereed)
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.
Place, publisher, year, edition, pages
Swedish Institute of Computer Science , 1994, 1. , 42 p.
SICS Research Report, ISSN 0283-3638 ; R94:13B
Concurrent Constraint Programming, Analysis, AKL, fixpoint computation
Computer and Information Science
IdentifiersURN: urn:nbn:se:ri:diva-14074OAI: oai:DiVA.org:ri-14074DiVA: diva2:1035357