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.
Showing posts with label javascript:void(0). Show all posts
Showing posts with label javascript:void(0). Show all posts
Tuesday, August 04, 2009
My Interview with Alexander Stepanov and Paul McJones
Subscribe to:
Posts (Atom)