Programming Language Theory, Language tooling