language_to_language_transformation.md

Programming language to programming language translation

Concepts

• Program Transformation Systems: https://en.wikipedia.org/wiki/Program_transformation

• Source to Source compilers: https://en.wikipedia.org/wiki/Source-to-source_compiler

• Language Independant Specification (LIS): https://en.wikipedia.org/wiki/Language-independent_specification

• Transpilers: https://devopedia.org/transpiler

• Metaprogramming: https://en.wikipedia.org/wiki/Metaprogramming

• Common Language Infrastructure (CLI) - Microsoft

• Unified Modelling Language (UML)

Research Papers

• Plaisted, David. (2013). Source-to-Source Translation and Software Engineering. Journal of Software Engineering and Applications. 06. 30-40. 10.4236/jsea.2013.64A005.

• 2016 - Towards a Unified View of Modeling and Programming (intro)

• 2016 - Concepts of Programming Languages: A Unified Approach

• 2016 - Inferring Common Language Infrastructure metadata for an ambiguous dynamic language type

• 2020 - Unsupervised Translation of Programming Languages [Article] [GitHub]

Implementations and Tools

• Spoofax - http://www.program-transformation.org/

• Semantic designs - DMS - http://www.semanticdesigns.com/Products/DMS/DMSToolkit.html

• Javascript: https://github.com/jashkenas/coffeescript/wiki/List-of-languages-that-compile-to-JS

• Treesitter: https://tree-sitter.github.io/tree-sitter/