paper_28.pdf (804.18 kB)
Download file

Equational Logic and Set-Theoretic Models for Multi-Languages

Download (804.18 kB)
conference contribution
posted on 08.07.2021, 09:59 by Samuele Buro, Roy Crole, Isabella Mastroeni
Interoperability is the capability of two languages to interact
within a single system: HTML, CSS, and JavaScript can work together to
render webpages. Some object oriented languages have interoperability via
a virtual machine host (.NET CLI compliant languages in the Common
Language Runtime). A high-level language can be interoperable with a
low-level one (Apple’s Swift and Objective-C). While there has been some
research in the foundations of interoperability there is little supporting
theory.
This paper is based upon our existing work on combining languages to
produce so-called multi-languages. Here, we define an equational logic for
deducing valid equations, from axioms that postulate properties of the
multi-language. We define set-theoretic multi-language algebras as models,
and provide algebraic constructions such as congruences and quotient
algebras. Such models, and the constructions, provide the ingredients for
the main deliverable, soundness and completeness for the equational logic.
We illustrate the basic ideas with a running example.

History

Author affiliation

School of Informatics

Source

ICTCS 2020, 21st Italian Conference on Theoretical Computer Science, 14-16 September 2020, Ischia, Italy

Version

VoR (Version of Record)

Published in

Proceedings of the 21st Italian Conference on Theoretical Computer Science Ischia, Italy, September 14-16, 2020.

Publisher

CEUR - WS

issn

1613-0073

Acceptance date

03/07/2020

Copyright date

2020

Spatial coverage

Italy

Temporal coverage: start date

14/09/2020

Temporal coverage: end date

16/09/2020

Language

en

Usage metrics

Categories

Licence

Exports