Channels ▼

Blogs

October 22, 2014

Invariants for Binary Search, Part 2: Refining The Specifications

This week, we will try to define more carefully the problem we would like to solve before leaping into the solution.

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.




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