Non-determinism analysis in a parallel-functional language (Q2763373)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1691453
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Non-determinism analysis in a parallel-functional language |
scientific article; zbMATH DE number 1691453 |
Statements
15 January 2002
0 references
0.8652985095977783
0 references
0.8466221690177917
0 references
0.7337949275970459
0 references
0.7330847382545471
0 references
Non-determinism analysis in a parallel-functional language (English)
0 references
The paper presents several analyses to detect non-deterministic expressions in the parallel-functional language Eden. First, the need for the analysis is motivated, and then each one is presented. The first one is type-based, while the other two are based on abstract interpretation. Their power and efficiency is discussed, and an example is used to illustrate the differences. Two interesting functions to adapt abstract values to types appear, and they happen to be a Galois insertion. For the entire collection see [Zbl 0977.68824].
0 references
