Channels ▼

Blogs

October 16, 2014

Invariants For Binary Search, Part 1: A Simple Example

We can use an invariant to help us reason about a piece of code that many programmers find hard to get right by any other means.

October 06, 2014

Loop Invariants And Testing: Often Possible, Often Difficult

We can think of an invariant as being a claim or belief about the state of program that we expect to be true each time control reaches a particular point in the program.

September 29, 2014

A Loop Invariant Can Be An Optimization Tool

This week, we'll look at the helpful qualities of loop invariants.




C/C++

C/C++ Feature Articles RSS

Jolt Awards: The Best Books

The best books of the past 12 months.

The C++14 Standard: What You Need to Know

New, useful features that make the language safer and more convenient.

Working with Azure DocumentDB: SQL & NoSQL Together

Updating and deleting documents, creating queries, and managing query results in Microsoft's new NoSQL database-as-a-service.

Azure DocumentDB: Working with Microsoft's NoSQL Database in the Cloud

Coding for the new NoSQL JSON database service that supports SQL queries.

The Curse of Version 6

Major programming languages often don't make it to version 6, but if they do, they arrive wounded and badly scarred. Why is that?

C/C++ News RSS

CoderGears CppDepend 5.0 Arrives

Analyze a codebase and automate code reviews

JetBrains CLion: A New Cross Platform C/C++ IDE

Available now as an Early Access Program build

RemObjects Calls Forth Fire For Oxygene and RemObjects C#

Fire is a new IDE for Oxygene and RemObjects C# that runs on Mac OS X

PC Personality Tool For Settings Transports

UP includes support for C, C++, Java, and C#

Appmethod For C++ Android Apps

New "complimentary subscription plan" for free Android phone targeting

Xamarin Updates Cross-Platform

Release introduces the Xamarin Studio IDE and the Xamarin Component Store

C++-Based Scientific Computing Made Ceemple

Based on C++ integrating a large number of scientific libraries into an IDE

Leroy's Designable Deployment Automation Workflows

New release from Epic Force for application deployment now stable

Typemock Isolator++ Goes 64 Bit

Complete mocking framework for C/C++

Coverity Covers C/C++, Java, and C#

Version 7.0 combines code analysis, change-aware unit test analysis, and policy management

Events of Interest

October 27-30. Santa Clara, CA. ZendCon 2014

October 27-28. Burlingame, CA. GGDevCon (Google Glass App Development)

November 3-5. San Francisco, CA. QCon

November 4-5. London, England. Code Mesh Conference

November 5-7. Berlin, Germany. GOTO Berlin International Software Development Conference

November 17-19. San Diego, CA. RubyConf

November 17-21. Budapest, Hungary. ApacheCon Europe

November 18-21. San Francisco, CA. AnDevCon Android Developer Conference

November 25-26. London, UK. IoT 2014

April 8-16, 2015. Montreal, Canada. PyCon 2015

May 4-8, 2015. Chicago, IL. Microsoft Ignite Conference

Videos of Past Events

September 2014. Atlassian Summit 2014

September 2013. JavaOne

June 2013. JAXConf 2013

May 2013. Google I/O

October 2012. JAXLondon 2012

September 2012. Strangeloop

July 2012. Java Language Summit

June 2012. Google I/O 2012

May 2012. Atlassian Summit

May 2012 (paid). Fluent Conference

March 2012. Multicore World

July 2011. JVM Language Summit



Video