Loading User Information from Channel 9
Something went wrong getting user information from Channel 9
Loading User Information from MSDN
Something went wrong getting user information from MSDN
Loading Visual Studio Achievements
Something went wrong getting the Visual Studio Achievements
Oops, something didn't work.
bryanedds
An individualist is he who is saving himself from all those who are saving the world.
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?
Jsoh
:::Windows 8 Style UI :::
Something like category theory?
bryanedds
An individualist is he who is saving himself from all those who are saving the world.
Honestly I'm not sure. I've never delved into category theory. Suppose I finally will this evening 
Richard.Hein
Stay on Target
Since improvement of an abstraction is known as refinement, I think you may be looking for "Refinement Calculus" which actually exists. I was surprised. http://en.wikipedia.org/wiki/Refinement_calculus
© 2013 Microsoft. Except where designated as licensed by
Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 License,
Microsoft reserves all rights associated with the materials on this site.
Thread Closed
This thread is kinda stale and has been closed but if you'd like to continue the conversation, please create a new thread in our Forums,
or Contact Us and let us know.