Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu. A theoretical foundation for programming languages aggregation. In 22nd International Workshop on Algebraic Development Techniques. Volume 9463 of LNCS, pages 30-47, Spriger Verlag, Sinaia, Romania, 2015.
Programming languages should be formally specified in or- der 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 proper- ties (such as equivalence of programs) to reachability properties (in the aggregated language).
Full text available at https://hal.inria.fr/hal-01076641.