Title :
Context parallelism in an indexical programming language
Author_Institution :
Dept. of Math., Stat. & Comput. Sci., New Brunswick Univ., Saint John, NB, Canada
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
Keywords :
computational linguistics; formal logic; functional programming; parallel languages; context parallelism; denotational semantics; implicit context; indexical programming language; intensional logic; mLucid; possible world semantics; program constructs; variable-value dependency graph; Computer languages; Computer science; Concurrent computing; Context; Logic programming; Mathematics; Parallel processing; Performance evaluation; Statistics; Switches;
Conference_Titel :
Computing and Information, 1993. Proceedings ICCI '93., Fifth International Conference on
Conference_Location :
Sudbury, Ont.
Print_ISBN :
0-8186-4212-2
DOI :
10.1109/ICCI.1993.315372
