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.

langue originaleAnglais
titreProceedings of the 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Co-located with ECOOP 2017
EditeurACM Press
Pages1-6
Nombre de pages6
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
Computer programming
Object-oriented
Semantics
Modeling Language
Specificity
Programming
Prototype
Software
Language
Modeling languages
Framework

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 (p. 1-6). ACM Press. https://doi.org/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. ACM Press, 2017. p. 1-6
@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, Formal Verification, OO Languages",
author = "Moussa Amrani and Schobbens, {Pierre Yves}",
year = "2017",
month = "6",
day = "18",
doi = "10.1145/3103111.3104042",
language = "English",
pages = "1--6",
booktitle = "Proceedings of the 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Co-located with ECOOP 2017",
publisher = "ACM Press",
address = "United States",

}

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. ACM Press, p. 1-6, 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017, Barcelona, Espagne, 20/06/17. https://doi.org/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. ACM Press, 2017. p. 1-6.

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

KW - Formal Verification

KW - OO Languages

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

UR - http://dl.acm.org/citation.cfm?doid=3103111.3104042

UR - http://www.mendeley.com/research/formal-analysis-objectoriented-mograms

U2 - 10.1145/3103111.3104042

DO - 10.1145/3103111.3104042

M3 - Conference contribution

AN - SCOPUS:85026431371

SP - 1

EP - 6

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

PB - ACM Press

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. ACM Press. 2017. p. 1-6 https://doi.org/10.1145/3103111.3104042