A central goal of typological research is to characterize linguistic features in terms of both their functional role and their fit to social and cognitive systems. One longstanding puzzle concerns why certain languages employ grammatical gender, which assigns nouns to distinct classes and marks neighboring words for agreement. While historically noun classification has been viewed as a useless ...

In this paper we propose an algorithm suppressing useless boolean tests in object code, for programs translatable into deterministic labeled transition systems. This algorithm is based on the notion of test equivalence, a variant of the classical observational equivalence: a test is useless i each branch leads to equivalent states, the test labels being considered as invisible actions.

In Measurement Based Admission Control (MBAC), the decision of accepting or rejecting a new ow is based on measurements of the current tra c situation. Since MBAC relies on measurements, an in-depth understanding of the measurement error and how it is a ected by the underlying tra c is vital for the design of a robust MBAC. In this work, we study how the measurement error impacts the admission ...

When a metaprogram automatically creates rules, some created rules are useless because they can never apply. Some metarules, that we call impossibility metarules, are used to remove useless rules. Some of these metarules are general and apply to any generated program. Some are domain specific metarules. In this paper, we show how dynamic metaprogramming can be used to create domain specific imp...