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
Etat de la publicationPublié - 18 juin 2017
Evénement19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Barcelona, Espagne
Durée: 20 juin 2017 → …

Série de publications

NomProceedings of the 19th Workshop on Formal Techniques for Java-like Programs - FTFJP'17

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

Examiner les sujets de recherche de « Formal analysis of object-oriented mograms ». Ensemble, ils forment une empreinte digitale unique.

Contient cette citation