Channels ▼

Blogs

September 19, 2014

Using a Loop Invariant to Help Think About a Program

Last week, I talked about how to write a loop invariant. I would like to continue this discussion by paraphrasing a beautifully elegant example that Dijkstra used in A Discipline of Programming.

September 17, 2014

Setting Up a Test Environment for C++14

A little clever work and I was able to quickly set up a test machine with everything I needed on Ubuntu running in a Microsoft Azure VM.

September 11, 2014

Loop Invariants Abbreviate Induction Proofs

It is often possible to avoid difficulties by proving the desired properties of our program by induction.




C/C++

C/C++ Feature Articles RSS

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?

Programming with OpenCL 1.2

printf-style debugging and the ability to partition computing devices into subdevices make OpenCL 1.2 a very useful upgrade.

C/C++ News RSS

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

Gizmox HTML5 For Visual Studio Using C#

Code assessment tool is a worthy bonus

Events of Interest

September 17. St. Louis, MO. Powered by JavaScript

September 17-19. St. Louis, MO. Strangeloop

September 23-24. San Francisco, CA. Designers of Things Conference

September 24-25. Boston, MA. Boston App Expo

October 1-3. Santa Clara, CA. Software Developer's Workshop at ARM TechCon (Dr. Dobb's bloggers Al Williams and Eric Bruno will be presenting.)

October 9-10. Palo Alto, CA. Code Stars Summit

October 11-12. Los Altos Hills, CA. Silicon Valley Code Camp

October 17-18. Austin, TX. CITCON (Continuous Integration and Testing Conference)

November 3-5. San Francisco, CA. QCon

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

November 17-21. Budapest, Hungary. ApacheCon Europe


Videos of Past Events

September 2013. JavaOne

September 2013. SpringOne 2GX

June 2013. JAXConf 2013

June 2013. Chicago Algorithmic Trading Conference

May 2013. Google I/O

March 2013. GPU Technology Conference

October 2012. JAXLondon 2012

September 2012. Strangeloop

September 2012. Intel Developer Forum

August 2012. VMWorld

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