EIFFEL

Eiffel is very performance-focused, and produces executables that are comparable in speed to C/C++ code with far less development effort or expertise required. Eiffel also employs system-wide optimizations that are not possible with other languages... Eiffel software offers ECMA and ISO standardized programming tools along with related training, consulting, and support services... EiffelStudio is an Integrated Development Environment (IDE), a software application that provides comprehensive facilities to computer programmers for software development, powered by the Eiffel language. EiffelStudio has a comprehensive suite of tools and services that enable programmers to produce correct, reliable, and maintainable software and control the development process. If you want to create fast, robust, scalable applications, then EiffelStudio™ is the tool for you. Imagine being able to model your system as you think - capturing your requirements and your thought processes with EiffelStudio...