InformIT.com has posted my interview with Alexander Stepanov (of STL fame) and his co-author Paul McJones. Their just-released book, Elements of Programming, tries to map algorithm implementations back to symbolic logic and algebraic theorems, thereby–in theory–improving their design and correctness.In the discussion, we broach many topics that derive from this approach to programming. Software Development