Zobrazeno 1 - 4
of 4
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
Autor:
Keisuke Nakano, Konstantinos Sagonas
This book constitutes the proceedings of the 15th International Symposium on Functional and Logic Programming, FLOPS 2020, held in Akita, Japan•, in September 2020. The 12 papers presented in this volume were carefully reviewed and selected from 25
Autor:
Alexander Chatzigeorgiou, Riccardo Dondi, Herodotos Herodotou, Christos Kapoutsis, Yannis Manolopoulos, George A. Papadopoulos, Florian Sikora
This book constitutes the refereed proceedings of the 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, held in Limassol, Cyprus, in January 2020. The 40 full papers presented together with 17 short p