Jai

Paradigms	procedural programming
Typing discipline	static typing, strong typing
Type	proprietary software, programming language