Skip to Main content Skip to Navigation
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 metadatas

Cited literature [17 references]  Display  Hide  Download

https://hal.inria.fr/hal-01076641
Contributor : Pal Dream <>
Submitted on : Monday, May 4, 2015 - 12:50:04 PM
Last modification on : Friday, August 2, 2019 - 2:23:30 AM
Long-term archiving on: : Wednesday, April 19, 2017 - 12:30:23 PM

File

wadtlongfinal.pdf
Files produced by the author(s)

Identifiers

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

Share

Metrics

Record views

343

Files downloads

512