Channel 9 Forums - Coffeehouse - Is There an 'Abstraction' Calculus? http://mschnlnine.vo.llnwd.net/d1/Dev/App_Themes/C9/images/feedimage.png Channel 9 Forums - Coffeehouse - Is There an 'Abstraction' Calculus? http://channel9.msdn.com/Forums Channel 9 keeps you up to date with the latest news and behind the scenes info from Microsoft that developers love to keep up with. From LINQ to SilverLight – Watch videos and hear about all the cool technologies coming and the people behind them. http://channel9.msdn.com/Forums en Sun, 19 May 2013 21:45:24 GMT Sun, 19 May 2013 21:45:24 GMT Rev9 4 -4 -1 Coffeehouse - Is There an 'Abstraction' Calculus? Is there any such formalization of the process of abstraction? You know, in the same way there is a formalization of lambda calculation via the lambda calculus?

If not, couldn't there be?

It's one thing to understand a program, another thing to abstract, another thing still to understand and reason about the process of abstracting during program development. If there were an 'abstraction' calculus, maybe it would be easier to teach engineers about abstraction as well as when and how to do it?

]]> http://channel9.msdn.com/Forums/Coffeehouse/Is-There-an-Abstraction-Calculus/9e682bb6db1d4e3286c49e42016a0e33#9e682bb6db1d4e3286c49e42016a0e33 Sat, 04 Dec 2010 21:58:12 GMT http://channel9.msdn.com/Forums/Coffeehouse/Is-There-an-Abstraction-Calculus/9e682bb6db1d4e3286c49e42016a0e33#9e682bb6db1d4e3286c49e42016a0e33 bryanedds 4 http://channel9.msdn.com/Niners/bryanedds/Discussions/RSS Coffeehouse - Is There an 'Abstraction' Calculus? Something like category theory?

]]> http://channel9.msdn.com/Forums/Coffeehouse/Is-There-an-Abstraction-Calculus/85472b69b4d54387b6609e4300246e8c#85472b69b4d54387b6609e4300246e8c Sun, 05 Dec 2010 02:12:38 GMT http://channel9.msdn.com/Forums/Coffeehouse/Is-There-an-Abstraction-Calculus/85472b69b4d54387b6609e4300246e8c#85472b69b4d54387b6609e4300246e8c Joshua Ross 4 http://channel9.msdn.com/Niners/Jsoh/Discussions/RSS Coffeehouse - Is There an 'Abstraction' Calculus? Honestly I'm not sure. I've never delved into category theory. Suppose I finally will this evening Smiley

]]> http://channel9.msdn.com/Forums/Coffeehouse/Is-There-an-Abstraction-Calculus/2c3c2e2ba02944b3b4ee9e4300359847#2c3c2e2ba02944b3b4ee9e4300359847 Sun, 05 Dec 2010 03:15:07 GMT http://channel9.msdn.com/Forums/Coffeehouse/Is-There-an-Abstraction-Calculus/2c3c2e2ba02944b3b4ee9e4300359847#2c3c2e2ba02944b3b4ee9e4300359847 bryanedds 4 http://channel9.msdn.com/Niners/bryanedds/Discussions/RSS Coffeehouse - Is There an 'Abstraction' Calculus? Since improvement of an abstraction is known as refinement, I think you may be looking for "Refinement Calculus" which actually exists. Smiley  I was surprised.  Smiley  http://en.wikipedia.org/wiki/Refinement_calculus

]]> http://channel9.msdn.com/Forums/Coffeehouse/Is-There-an-Abstraction-Calculus/9aacc00c22b44c7a9a8d9e43017d0b2a#9aacc00c22b44c7a9a8d9e43017d0b2a Sun, 05 Dec 2010 23:07:20 GMT http://channel9.msdn.com/Forums/Coffeehouse/Is-There-an-Abstraction-Calculus/9aacc00c22b44c7a9a8d9e43017d0b2a#9aacc00c22b44c7a9a8d9e43017d0b2a Richard Anthony Hein 4 http://channel9.msdn.com/Niners/Richard.Hein/Discussions/RSS