Mourad, Benjamin; Cimini, Matteo System description: lang-n-change – a tool for transforming languages. (English) Zbl 07368092 Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 198-214 (2020). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{B. Mourad} and \textit{M. Cimini}, Lect. Notes Comput. Sci. 12073, 198--214 (2020; Zbl 07368092) Full Text: DOI
Cimini, Matteo On the effectiveness of higher-order logic programming in language-oriented programming. (English) Zbl 07368087 Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 106-123 (2020). MSC: 68N17 68N18 PDFBibTeX XMLCite \textit{M. Cimini}, Lect. Notes Comput. Sci. 12073, 106--123 (2020; Zbl 07368087) Full Text: DOI
Alpuente, María; Pardo, Daniel; Villanueva, Alicia Abstract contract synthesis and verification in the symbolic \(\mathbb{K}\) framework. (English) Zbl 1497.68106 Fundam. Inform. 177, No. 3-4, 235-273 (2020). MSC: 68N30 68N15 68Q60 PDFBibTeX XMLCite \textit{M. Alpuente} et al., Fundam. Inform. 177, No. 3--4, 235--273 (2020; Zbl 1497.68106) Full Text: DOI
Mourad, Benjamin; Cimini, Matteo A calculus for language transformations. (English) Zbl 1508.68034 Chatzigeorgiou, Alexander (ed.) et al., SOFSEM 2020: theory and practice of computer science. 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12011, 547-555 (2020). MSC: 68N15 68Q55 PDFBibTeX XMLCite \textit{B. Mourad} and \textit{M. Cimini}, Lect. Notes Comput. Sci. 12011, 547--555 (2020; Zbl 1508.68034) Full Text: DOI arXiv