Saturday, August 29, 2009

Precise language to reason precisely

"In the end, programs are just mathematics, and you can reason about them mathematically"
-- Gerwin Klein, NICTA, "Universal kernel code to keep computers safe," NewScientist, 28 August 2009.
Posted by myusri at 9:25 AM
Labels: , ,

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)