Formal analysis of object-oriented mograms

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Résumé

A mogram designates a software language implemented in either a programming or a modelling language. Object-Oriented mograms share many common language features, but also have specificities related to inheritance, collection values, opposite and contained references, or overloading. We propose a mathematical framework that captures the semantics of such mograms with a precise characterisation of the variation points. We implemented a prototype tool that enables formal analysis in a uniform way.

langueAnglais
titreProceedings of the 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Co-located with ECOOP 2017
EditeurAssociation for Computing Machinery, Inc
ISBN (Electronique)9781450350983
Les DOIs
étatPublié - 18 juin 2017
Evénement19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Barcelona, Espagne
Durée: 20 juin 2017 → …

Une conférence

Une conférence19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017
PaysEspagne
La villeBarcelona
période20/06/17 → …

Empreinte digitale

Formal Analysis
Object-oriented
Language
Computer programming
Semantics
Modeling languages
Modeling Language
Specificity
Programming
Prototype
Software
Framework

mots-clés

    Citer ceci

    Amrani, M., & Schobbens, P. Y. (2017). Formal analysis of object-oriented mograms. Dans Proceedings of the 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Co-located with ECOOP 2017 Association for Computing Machinery, Inc. DOI: 10.1145/3103111.3104042
    Amrani, Moussa ; Schobbens, Pierre Yves. / Formal analysis of object-oriented mograms. Proceedings of the 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Co-located with ECOOP 2017. Association for Computing Machinery, Inc, 2017.
    @inproceedings{92f5dbedc5474f06ada55f74de207977,
    title = "Formal analysis of object-oriented mograms",
    abstract = "A mogram designates a software language implemented in either a programming or a modelling language. Object-Oriented mograms share many common language features, but also have specificities related to inheritance, collection values, opposite and contained references, or overloading. We propose a mathematical framework that captures the semantics of such mograms with a precise characterisation of the variation points. We implemented a prototype tool that enables formal analysis in a uniform way.",
    keywords = "Formal verification, OO languages, Semantics",
    author = "Moussa Amrani and Schobbens, {Pierre Yves}",
    year = "2017",
    month = "6",
    day = "18",
    doi = "10.1145/3103111.3104042",
    language = "English",
    booktitle = "Proceedings of the 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Co-located with ECOOP 2017",
    publisher = "Association for Computing Machinery, Inc",

    }

    Amrani, M & Schobbens, PY 2017, Formal analysis of object-oriented mograms. Dans Proceedings of the 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Co-located with ECOOP 2017. Association for Computing Machinery, Inc, 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017, Barcelona, Espagne, 20/06/17. DOI: 10.1145/3103111.3104042

    Formal analysis of object-oriented mograms. / Amrani, Moussa; Schobbens, Pierre Yves.

    Proceedings of the 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Co-located with ECOOP 2017. Association for Computing Machinery, Inc, 2017.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    TY - GEN

    T1 - Formal analysis of object-oriented mograms

    AU - Amrani,Moussa

    AU - Schobbens,Pierre Yves

    PY - 2017/6/18

    Y1 - 2017/6/18

    N2 - A mogram designates a software language implemented in either a programming or a modelling language. Object-Oriented mograms share many common language features, but also have specificities related to inheritance, collection values, opposite and contained references, or overloading. We propose a mathematical framework that captures the semantics of such mograms with a precise characterisation of the variation points. We implemented a prototype tool that enables formal analysis in a uniform way.

    AB - A mogram designates a software language implemented in either a programming or a modelling language. Object-Oriented mograms share many common language features, but also have specificities related to inheritance, collection values, opposite and contained references, or overloading. We propose a mathematical framework that captures the semantics of such mograms with a precise characterisation of the variation points. We implemented a prototype tool that enables formal analysis in a uniform way.

    KW - Formal verification

    KW - OO languages

    KW - Semantics

    UR - http://www.scopus.com/inward/record.url?scp=85026431371&partnerID=8YFLogxK

    U2 - 10.1145/3103111.3104042

    DO - 10.1145/3103111.3104042

    M3 - Conference contribution

    BT - Proceedings of the 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Co-located with ECOOP 2017

    PB - Association for Computing Machinery, Inc

    ER -

    Amrani M, Schobbens PY. Formal analysis of object-oriented mograms. Dans Proceedings of the 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Co-located with ECOOP 2017. Association for Computing Machinery, Inc. 2017. Disponible �, DOI: 10.1145/3103111.3104042