research

Informal talk highlighting some problems of naive composition of programming languages (e.g. SQL, HTML, and regex injections) and then introducing JetBrains MPS – a language workbench tool allowing to compose languages very easily.

📁 Offering my B. Sc. thesis for download.

Based on the foundation-independent module system MMT, I propose a general definition of behavior-preserving refactorings, and as the primary example give a method to generalize inversely along MMT morphisms (refinements).