The Clause slicing technique is a static slicing technique. The clause slice criterion is the clause, which is the smallest part of the code line, with the clause number. In this paper, we introduce the “Clauser,” which is a new clause slicing tool for C programs. The Clauser is a slicing tool that divides the program code lines into clauses, depending on certain rules, and then it slices the c...

0 Introduction This paper represents the continutation of research into the identiication of the relationship between the head of a relative clause and the clause body, for Japanese. Unlike many languages, a `trace' of the gap associated with the head of a gapping relative clause is not lexically marked in Japanese, and gapping and non-gapping clauses are not explicitly distinguished. Our curre...

This paper looks at voice source correlates of declination. This follows a line of research that proposes that prosody is primarily signalled by the temporal modulation of the voice source, and not just F0. Inverse filtering and source parameterisation was carried out on twelve 3-accent sentences of Connemara Irish (Declaratives, WH questions and Yes/No questions). All have a falling intonation...

We present a formalism that models the computation of clause sharing portfolio solvers with inprocessing. The soundness of these solvers is not a straightforward property since shared clauses can make a formula unsatisfiable. Therefore, we develop characterizations of simplification techniques and suggest various settings how clause sharing and inprocessing can be combined. Our formalization mo...

Cet article vise a recenser les methodes pedagogiques privilegiees par enseignants universitaires en cours magistral cycle licence et etudier liens entretenus avec leurs competences transversales. L’analyse s’appuie sur des donnees declaratives collectees l’aide d’une enquete ligne menee aupres de pres 248 universite francaise. Il ressort que malgre la mise oeuvre variete methodes, l’expose res...