Loading...
Please wait, while we are loading the content...
Similar Documents
Towards an Analysis Tool for AKL
| Content Provider | Semantic Scholar |
|---|---|
| Author | Sahlin, Dan Sjöland, Thomas |
| Copyright Year | 1993 |
| Abstract | We present a method for analysis of AKL in the spirit of abstract interpretation that strictly separates the setting up of the abstract semantic equations and the solving of these equations. The fact that AKL has concurrent semantics makes this separation particularly attractive. This document reports work in progress. It is deliverable number D.WP.1.6.1.M1.1 in the ESPRIT project ParForce 6707. A final report on the work is expected in July 1994. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.researchgate.net/profile/Dan_Sahlin/publication/2601871_Towards_an_Analysis_Tool_for_AKL/links/09e4150a4c7543cfc8000000.pdf |
| Alternate Webpage(s) | http://www.sics.se/isl/parforce/deliverables/analysis.ps.Z |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |