New Programming Language
I found today when i search New Programming language Called "NICE" thats its name
"NICE progarmming language" its support OOP desgin with new feature its running in any OS
and open source may be u want to take alook http://nice.sourceforge.net/ u can download the source and the package and manual reference.
but when i contain my search i found an article talking about new OOL and there are anather language support OOL

Blue, a clean OOL especially designed for teaching first-year students.

Eiffel was the first object-oriented language to give good support for software engineering concepts like design by contract.

Component Pascal is an object oriented programming language most closely related to Oberon-2. Compared to Oberon-2 it adds a number of annotations which are intended to enhance the type-safety of component oriented programs. QUT offers an open source compiler which generates Java bytecodes or Microsoft.NET output. Alternatively, Oberon Microsystems have made their 'BlackBox Component Builder' compiler/environment for Component Pascal open source now.

TOM is a new object-oriented programming language that advocates unplanned reuse of code (classes can be extended in very flexible ways, even without source code for them).

Suneido is a free, open-source, pure-OO language whose syntax is similar to C++ or Java, but simpler. It is a safe, dynamic language like Smalltalk, enabling rapid development. It supports automatic garbage collection, exception handling and has builtin client-server relational database, user interface and reporting frameworks. Available for all Windows platforms, but a Linux version is planned.

D from Digital Mars is intended to be a clean successor to C++. It has good support for design-by-contract programming, like Eiffel

the complete articel here http://www.cs.waikato.ac.nz/~marku/languages.html#func
enjoy it!