Compositionality provides the key to managing complexity in software systems and thus should be sought at all levels in the design process. In the development of code from model-oriented speci cations, compositionality can not only be achieved by the decomposition of system speci cations into modules but may also arise within the development of individual modules. This thesis considers the comp...

Human languages can express opposite propositions by means of the negative operator "not," which turns affirmative sentences into negative ones. Psycholinguistic research has indicated that negative meanings are formed by transiently reducing the access to mental representations of negated conceptual information. Neuroimaging studies have corroborated these findings, showing reduced activation ...

Disagreement exists about how bilingual speakers select words, in particular, whether words in another language compete, or competition is restricted to a target language, or no competition occurs. Evidence that competition occurs but is restricted to a target language comes from response time (RT) effects obtained when speakers name pictures in one language while trying to ignore distractor wo...

In recent years, experimental research on language production has started to make increasing use of the so-called picture-word interference paradigm to explore lexical retrieval processes. While providing useful information on the production of nouns, the paradigm has not led, so far, to comparable results with respect to the production of verbs. The paper presents an experiment and provides a ...

A central issue in research on speech production is whether or not the retrieval of words from the mental lexicon is a competitive process. An important experimental paradigm to study the dynamics of lexical retrieval is the blocked naming paradigm, in which participants name pictures of objects that are grouped by semantic category (‘homogenous’ or ‘related’ blocks) or not grouped by semantic ...

Evidence is reviewed indicating that output interference—the deleterious effects of recall of some information on information recalled later—occurs both in primary and secondary memory. It appears that output interference provides at least a partial account for the disparity between information available in memory and its accessibility at recall. It is argued that consideration of...

This is an experimental study of prosodic focus and syntactic word order interactions with reference to agent/recipient semantic relations in Greek. In accordance with one perception experiment, the results in morphology neutral context indicate: (1) listeners do not perceive agent and recipient semantic distinctions and (2) prosody and focus applications do not thus have any perception effect ...

The literature on definitions of security based on causalitylike notions such as noninterference has used several distinct semantic models for systems. Early work was based on state-machine and traceset definitions; more recent work has dealt with definitions of security in two distinct process algebraic settings. Comparisons between the definitions has been carried out mainly within semantic f...

We introduce a semantic approach to the study of logics for access control and dependency analysis, based on Game Semantics. We use a variant of AJM games with explicit justification (but without pointers). Based on this, we give a simple and intuitive model of the information flow constraints underlying access control. This is used to give strikingly simple proofs of non-interference theorems ...

Graded interference effects were tested in a naming task, in parallel for objects and actions. Participants named either object or action pictures presented in the context of other pictures (blocks) that were either semantically very similar, or somewhat semantically similar or semantically dissimilar. We found that naming latencies for both object and action words were modulated by the semanti...