This paper presents a static pointer analysis technique for a subset of C. The tool supports user-defined assertions inserted in the body of the program. Assertions are of two kinds: static assertions automatically verified by the analyser, and hypothetical assertions treated as assumptions by the analyser. The technique deals with recursive data structures and it is accurate enough to handle c...

Names are difficult to handle for normal letter-to-sound rules, since these usually are designed for ordinary words. The structure of Swedish names differ from ordinary words but their multi-morphemic structure make them suitable to analyse with a morphological analyser. The paper presents the work on names from the Swedish telephone directory, as part of the ONOMASTICA project [7], including a...

This paper deals with the effective implementation of the new Czech morphological analyser ajka which is based on the algorithmic description of the Czech formal morphology. First, we present two most important word-forming processes in Czech — inflection and derivation. A brief description of the data structures used for storing morphological information as well as a discussion of the efficien...

Considering that we are observing and describing the behaviour of the terminological units and the terminological collocations, we intend to talk about the value of the verb as a nuclear element of the terminological collocation in the Portuguese language. So we will empathize the theoretical distinction between multilexemic terminological unit and terminological collocation and the importance ...

This paper deals with the treatment of constructed neologisms in a machine translation system. It focuses on a particular issue in Romance languages: relational adjectives and the role they play in prefixation. Relational adjectives are formally adjectives but are semantically linked to their base-noun. In prefixation processes, the prefix is formally attached to the adjective, but its semantic...

This paper presents the AnIta-Lemmatiser, an automatic tool to lemmatise Italian texts. It is based on a powerful morphological analyser enriched with a large lexicon and some heuristic techniques to select the most appropriate lemma among those that can be morphologically associated to an ambiguous wordform. The heuristics are essentially based on the frequency-of-use tags provided by the De M...