"static type checker"@en . "static type checker"@en . "static type checker"@en . "tool to check the type safety of a program based on static source code analysis"@en . . . . . .