mLucid(ID:7977/)
Indexical Lucid
- Country: ca
- Began: 1993
- Type:Polymorphic
- Sammet:SPC
indexical language, descendant of Lucid
Related languages
| LUCID |
=> |
mLucid | |
Augmentation of |
| mLucid |
=> |
sysLucid | |
Evolution of |
References:
Du, Weichang "Context parallelism in an indexical programming language" . Proceedings ICCI '93., Fifth International Conference on Computing and Information, 1993, 27-29 May 1993 pp235 - 239
view details
Abstract: Indexical programming languages enrich conventional programming languages by allowing the meanings of program constructs to depend on an implicit context. In an indexical program, values at different contexts can potentially be evaluated an parallel, resulting in context parallelism. This paper formally defines context parallelism in the indexical language mLucid, by a variable-value dependency graph (VDG) derived from the denotational semantics of the language. Based on different abstractions of the VDG, three levels of context parallelism: fine, medium, and coarse parallelism are defined, which reflect different levels of parallel computations specified by the indexical program
Weichang Du "An intentional approach to parallel programming" Parallel & Distributed Technology: Systems & Applications, IEEE Aug. 1993 On page(s): 22 - 32
view details
Abstract: Unlike conventional parallel languages, intentional languages let developers think of parallelism first and then use explicit constructs to express sequentialism, instead of the other way around
|