A compositional parallel program is a program constructed by composing component programs in parallel where the composed pro gram inherits properties of its components In this paper we describe a small extension of C called Compositional C or CC which is an object oriented notation that supports compositional parallel programming CC integrates di erent paradigms of parallel pro gramming data pa...

Modularity is a key concern in programming. However, programming languages remain limited terms of modularity and extensibility. Small canonical problems, such as the Expression Problem (EP), illustrate some basic issues: dilemma between choosing one kind extensibility over another most languages. Other how to express dependencies modular way, add up issues significant challenge. This article p...

Language is a form of cultural wealth nation. Analysis the use language an interesting topic to study. The current manuscript implement Systemic functional linguistics (SFL) theory which focuses on exploring social and context in piece writing. SFL it self approach that considers as semiotic system function contexts choices users make. This paper intended analyze students’ recount text writing ...

Introduction: Previously, 186Re and 188Re radioisotopes have been produced through appropriate activities, and each of them has been used for therapeutic applications. The 186Re and 188Re have unique properties, which make them proper for the treatment of  tumors in different sizes. The long-range 188Re, is suitabl...

The paper investigates meaning communicated by the exhibition Archaic, national pavilion of Iraq at 57th Venice Biennale (2017). is only global art event that allows countries and nations to represent themselves on their own terms. In this sense, system pavilions traditionally regarded as an arena for soft power. applies multimodal analysis both macro-level (Halliday metafunctions) micro-level ...

Halliday's Systemic Functional Grammar provides a new perspective and method for political discourse analysis. This paper first introduces the research status of at home abroad, then elaborates three metafunctions Grammar, namely ideational function, interpersonal function as well textual function. On this basis, makes an in-depth transitivity analysis inaugural address 46th president United St...

Non-compositional phrases such as red herring and weakly compositional phrases such as spelling bee are an integral part of natural language (Sag et al., 2002). They are also the phrases that are difficult, or even impossible, for good compositional distributional models of semantics. Compositionality detection therefore provides a good testbed for compositional methods. We compare an integrate...

In this survey, we overview several compositional veriication approaches based on model checking, namely compositional minimization, classic assume guarantee reasoning and circular reasoning. We describe details of each of these approaches, and elaborate the general problems with some proposed solutions. We also summarize the advantages and disadvantages of each. In the last section, we give a ...