4,078 research outputs found

    Formalization of the static semantics of contracts using attribute grammars

    Get PDF
    Le travail présenté dans ce mémoire concerne le langage Contracts. Les systèmes orientés objet consistent en des groupes d'objets reliés qui coopèrent afin de réaliser certaines tâches ou de maintenir certains invariants. Le langage Contracts de Helm est une technique de spécification de coopérations interobjets [Helm 90]. Un contrat, dans Contracts, spécifie les coopérations en termes d'objets participants, d'obligations des participants, de dépendances entre participants et de l'instanciation de ceux-ci. De plus, un contrat contient des invariants que les participants coopèrent à maintenir. Les résultats de ce mémoire sont la formalisation de la sémantique statique du langage Contracts en utilisant la notation de grammaires d'attributs [Wait 85], selon la syntaxe publiée dans [Holl 92], et l'implémentation de l'analyse syntaxique et lexicale de Contracts en utilisant Lex et Yace

    System combination with extra alignment information

    Get PDF
    This paper provides the system description of the IHMM team of Dublin City University for our participation in the system combination task in the Second Workshop on Applying Machine Learning Techniques to Optimise the Division of Labour in Hybrid MT (ML4HMT-12). Our work is based on a confusion network-based approach to system combination. We propose a new method to build a confusion network for this: (1) incorporate extra alignment information extracted from given meta data, treating them as sure alignments, into the results from IHMM, and (2) decode together with this information. We also heuristically set one of the system outputs as the default backbone. Our results show that this backbone, which is the RBMT system output, achieves an 0.11% improvement in BLEU over the backbone chosen by TER, while the extra information we added in the decoding part does not improve the results
    corecore