Context Analysis of Intensional Languages

Author

Du, Weichang ; Ben Hamed, K.

Author_Institution

Fac. of Comput. Sci., Univ. of New Brunswick, New Brunswick, NJ, USA

Volume

2

fYear

2009

fDate

20-24 July 2009

Firstpage

212

Lastpage

217

Abstract

In intensional languages meanings or values of intensional constructs such as variables vary in or depend on contexts of an underlying context space. The meaning or value of an construct can be defined by meanings of other constructs in different contexts by applying context switching operations. This paper proposes a graph-based formal method to analyze context relationships between intensional constructs, based on their formal intensional semantics, and its application to parallel computing of intensional programs.

Keywords

formal logic; graph theory; parallel programming; programming language semantics; programming languages; context analysis; context switching operation; formal intensional semantics; graph-based formal method; intensional construct; intensional language; parallel computing; Application software; Computer applications; Computer science; Concurrent computing; Context modeling; Data structures; Logic programming; Multidimensional systems; Parallel processing; Reactive power; context; dependency; intensional logic; programming languags;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 2009. COMPSAC '09. 33rd Annual IEEE International

Conference_Location

Seattle, WA

ISSN

0730-3157

Print_ISBN

978-0-7695-3726-9

Type

conf

DOI

10.1109/COMPSAC.2009.136

Filename

5254123