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

DOI10.1007/978-3-030-59025-3_12OpenAlexW3085881770MaRDI QIDQ2039949

Matteo Cimini, Benjamin Mourad

Publication date: 6 July 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-59025-3_12

zbMATH Keywords

functional languagesdomain-specific languageslanguage transformations

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic programming (68N17)

Related Items (2)

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

Uses Software

• Ott

Cites Work

• Unnamed Item
• An overview of the K semantic framework
• System description: lang-n-change -- a tool for transforming languages
• The gradualizer: a methodology and algorithm for generating gradual type systems
• Programming with Higher-Order Logic
• A Calculus for Language Transformations
• Ott
• Automatically generating the dynamic semantics of gradually typed languages
• Deriving Pretty-Big-Step Semantics from Small-Step Semantics
• SPADE: An efficient algorithm for mining frequent sequences

This page was built for publication: System description: lang-n-change -- a tool for transforming languages