A Theoretical Foundation for Programming Languages Aggregation

Stefan Ciobaca 1 Dorel Lucanu 1 Vlad Rusu 2 Grigore Rosu 3
2 DREAMPAL - Dynamic Reconfigurable Massively Parallel Architectures and Languages
Université de Lille, Sciences et Technologies, Inria Lille - Nord Europe, CNRS - Centre National de la Recherche Scientifique
Abstract : Programming languages should be formally specified in order to reason about programs written in them. We show that, given two formally specified programming languages, it is possible to construct the formal semantics of an aggregated language, in which programs consist of pairs of programs from the initial languages. The construction is based on algebraic techniques and it can be used to reduce relational properties (such as equivalence of programs) to reachability properties (in the aggregated language).
Type de document :
Communication dans un congrès
22nd International Workshop on Algebraic Development Techniques, 2015, Sinaia, Romania. Spriger Verlag, 9463, 2015, LNCS
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01076641
Contributeur : Pal Dream <>
Soumis le : lundi 4 mai 2015 - 12:50:04
Dernière modification le : jeudi 11 janvier 2018 - 06:25:37
Document(s) archivé(s) le : mercredi 19 avril 2017 - 12:30:23

Fichier

wadtlongfinal.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01076641, version 2

Collections

Citation

Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu. A Theoretical Foundation for Programming Languages Aggregation. 22nd International Workshop on Algebraic Development Techniques, 2015, Sinaia, Romania. Spriger Verlag, 9463, 2015, LNCS. 〈hal-01076641v2〉

Partager

Métriques

Consultations de la notice

234

Téléchargements de fichiers

114