SPL Compiler
A low-level system programming language with high-level syntax
...
* Be as efficient as C (at run-time) and as high-level as possible for the programmer.
* Promote modularity and ease the development of large-scale component-based software.
* Enable programming-by-contract and other high-level features (as long as they incur no extraordinary costs at run-time).
* Provide a stricter and more platform-independent type system than C.
* Allow direct use of existing C and platform (e.g. Win32 API) libraries.
This phrase from the "SPL Language Reference" says it all: "One could say SPL is what C should have been, were it not for the limitations of the time when C was designed".