Interpretation over Zones without Widening Thomas Martin Gawlitza The University of Sydney, Australia [email protected] and Helmut Seidl Technische Universität München, Germany [email protected]

We build two inverse limit lambda models which characterize completely sets of terms having similar computational behaviour. More precisely for each one of these sets of terms there is a corresponding element in at least one of the two models such that a term belongs to the set if and only if its interpretation (in a suitable environment) is greater than or equal to that element. This is proved...

Interpretation: Theory and Practice

The semantic interpretation of adverbs such as only, also, and even has been a central issue of alternative semantics for focus (Rooth 1985, 1996). Some focus adverbs, including only in English, set a limit to the range of alternative sets by their syntactic position and / or prosodic patterns. In the following example, the syntactic position of only affects the range of alternative sets (as in...

The use of infinite abstract domains with widening and narrowing for accelerating the convergence of abstract interpretations is shown to be more powerful than the Galois connection approach re­ stricted to finite lattices (or lattices satisfying the chain condition).

This study concerns differences in the perception of phonemes that have undergone near merger within the past few generations in the Copenhagen speech community. It is hypothesized that this process can lead to a difference in phoneme boundaries across generations. We studied the effect of speaker and listener age on the placement of the phoneme boundary between /ɛ/ and /a/ in Copenhagen Danish...

We suggest a new semantic interpretation of interrogative NPs, based on a novel algebraic theory of the semantics of questions. We discuss the role of interrogative NPs in compositionally deriving the semantics of wh-questions, examine the coordination of interrogative NPs, and apply notions from generalized quantiier theory to their interpretation.

Engineering the development of systems for multisensory monitoring and activity interpretation José Manuel Gascueña a , José Carlos Castillo b , Elena Navarro c & Antonio FernándezCaballero c a Symbia IT, Parque Científico y Tecnológico, Albacete, 02071, Spain b Instituto Superior Técnico, Instituto de Sistemas e Robótica, Lisbon, 1049-001, Portugal c Universidad de Castilla-La Manch Departamen...

Interpretation and Object-oriented Programming: Quo Vadis?