checker code-generation compiler domain-specific-language interpreter language metaprogramming parser-generator pattern-matching query-language refactoring-tools relational-algebra repl reverse-engineering source-to-source standard-library static-analysis template-language term-rewriting

crop-model program-transformation source-to-source transpiler

Sociology

hybrid-automaton source-to-source stateflow