The aim of this paper is to analyse under which conditions Absolute Order-of-Magnitude and Relative Orderof-Magnitude models may be consistent and to determine the constraints which guarantee consistency. A graphical interpretation of the constraints is provided, bridging the absolute qualitative labels of two quantities into their corresponding relative relation(s), and conversely. The ROM rel...

We address the problem of complementing higher-order patterns without repetitions of free variables. Di erently from the rst-order case, the complement of a pattern cannot, in general, be described by a pattern, or even by a nite set of patterns. We therefore generalize the simply-typed -calculus to include an internal notion of strict function so that we can directly express that a term must d...

The purpose of this department is to provide early announcement of significant new results, with some indications of proof. Although ordinarily a research announcement should be a brief summary of a paper to be published in full elsewhere, papers giving complete proofs of results of exceptional interest are also solicited. Manuscripts more than eight typewritten double spaced pages long will no...

This paper establishes a strong completeness property of compositional program logics for pure and imperative higher-order functions introduced in [2, 15–18]. This property, called descriptive completeness, says that for each program there is an assertion fully describing the former’s behaviour up to the standard observational semantics. This formula is inductively calculable from the program t...

The relative worst order ratio is a measure for the quality of online algorithms. Unlike the competitive ratio, it compares algorithms directly without involving an optimal offline algorithm. The measure has been successfully applied to problems like paging and bin packing. In this paper, we apply it to machine scheduling. We show that for preemptive scheduling, the measure separates multiple p...

The paper reports on a perception experiment in German investigating the relative prominence of target words in two positions in a sentence. Listeners judged for each position which of four prominence levels were perceived as accented or unaccented. While subjects clearly distinguished between strongly accented and unaccented (i.e. postlexically stressed and unstressed) words in both positions,...