OptimJ

Paradigms	object-oriented programming
First appeared	2006
Type	algebraic modeling language, object-based language
Influenced by	Java
Website	ateji.com