WAVE : a topological parallel language
- WAVE is an experimental parallel programming language. It forces a programmer to think differently. One could say that it is &quot;topological&quot; because a WAVE program makes explicit how data are organized. The Fibonacci series writes 0;1{;+} in WAVE.

Dynamic SystemJ
- Dynamic SystemJ (DSystemJ) is a new language targeting easy development of mobile and dynamic distributed systems. DSystemJ is based on formal semantics and thus potentially verifiable, no more debug and deploy cycles.