X-Nico

unusual facts about Visual C



Automated reasoning

For example, in 2005, Microsoft started using verification technology in many of their internal projects and is planning to include a logical specification and checking language in their 2012 version of Visual C.

C++

Finally, a practical C++ processing tool must be able to handle the variety of C++ dialects used in practice (such as that supported by the GNU Compiler Collection and that of Microsoft's Visual C++) and implement appropriate analyzers, source code transformers, and regenerate source text.

Code::Blocks

Code::Blocks supports multiple compilers, including MinGW / GCC, Digital Mars, Microsoft Visual C++, Borland C++, LLVM Clang, Watcom, LCC and the Intel C++ compiler.

The Secret Guide to Computers

It includes updated and "new info on modern computer dealers, Windows 7, modern Web browsers (Internet Explorer 8&9, Firefox 4&5, and Chrome 12), best Websites, modern e-mail systems (Live Mail, Yahoo Mail, and Gmail), the iPad, Microsoft Office 2010, modern programming (in Java 6, QB64, Visual Basic 2010, Visual C++ 2010, and Visual C# 2010), axiomatic math, Spanish pronunciation, Bible translations, and fun stuff."


see also