Context parallelism in an indexical programming language

Author

Du, Weichang

Author_Institution

Dept. of Math., Stat. & Comput. Sci., New Brunswick Univ., Saint John, NB, Canada

fYear

1993

fDate

27-29 May 1993

Firstpage

235

Lastpage

239

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computing and Information, 1993. Proceedings ICCI '93., Fifth International Conference on

Conference_Location

Sudbury, Ont.

Print_ISBN

0-8186-4212-2

Type

conf

DOI

10.1109/ICCI.1993.315372

Filename

315372