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.
Tuesday, August 04, 2009
My Interview with Alexander Stepanov and Paul McJones
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment