Language transformations in the classroom

DOI10.4204/EPTCS.339.6MaRDI QIDQ6643747zbMATH OpenFDO

Authors Matteo Cimini, Benjamin Mourad

Publication date 26 November 2024

Full work available at URL https://doi.org/10.4204/EPTCS.339.6

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Programming languages (educational aspects) (97P40)

Recommendations

• scientific article; zbMATH DE number 3898262
• System description: lang-n-change -- a tool for transforming languages
• Incremental execution of transformation specifications
• A calculus for language transformations
• Program annotation and transformation

Cites work

• A calculus for language transformations
• A call-by-name lambda-calculus machine
• A semantics of multiple inheritance
• An extension of system \(F\) with subtyping
• Automatically generating the dynamic semantics of gradually typed languages
• Correspondence between ALGOL 60 and Church's Lambda-notation
• Deriving Pretty-Big-Step Semantics from Small-Step Semantics
• From reduction-based to reduction-free normalization
• scientific article; zbMATH DE number 944097 (Why is no real title available?)
• Introduction to algorithms.
• Ott, effective tool support for the working semanticist
• The Gradualizer: a methodology and algorithm for generating gradual type systems
• Types and programing languages

Cited in

(1)

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

This page was built for publication: Language transformations in the classroom

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6643747)