Skip to Main content Skip to Navigation
New interface
Conference papers

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).
Document type :
Conference papers
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download
Contributor : Pal Dream Connect in order to contact the contributor
Submitted on : Monday, May 4, 2015 - 12:50:04 PM
Last modification on : Friday, November 18, 2022 - 9:24:38 AM
Long-term archiving on: : Wednesday, April 19, 2017 - 12:30:23 PM


Files produced by the author(s)


  • HAL Id : hal-01076641, version 2



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. ⟨hal-01076641v2⟩



Record views


Files downloads