Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Mourad, Benjamin"'
Autor:
Cimini, Matteo, Mourad, Benjamin
Publikováno v:
EPTCS 339, 2021, pp. 43-58
Language transformations are algorithms that take a language specification in input, and return the language specification modified. Language transformations are useful for automatically adding features such as subtyping to programming languages (PLs
Externí odkaz:
http://arxiv.org/abs/2108.10493
Autor:
Mourad, Benjamin, Cimini, Matteo
In this paper we propose a calculus for expressing algorithms for programming languages transformations. We present the type system and operational semantics of the calculus, and we prove that it is type sound. We have implemented our calculus, and w
Externí odkaz:
http://arxiv.org/abs/1910.11924