A Calculus for Language Transformations

DOI10.1007/978-3-030-38919-2_44OpenAlexW3004254621MaRDI QIDQ3297783

Benjamin Mourad, Matteo Cimini

Publication date: 20 July 2020

Published in: SOFSEM 2020: Theory and Practice of Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1910.11924

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (1)

System description: lang-n-change -- a tool for transforming languages

Uses Software

• PLT Redex

Cites Work

• An overview of the K semantic framework
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Calculus for Language Transformations