Coffeehouse Thread

4 posts

Is There an 'Abstraction' Calculus?

Back to Forum: Coffeehouse
  • bryanedds

    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?

    An individualist is he who is saving himself from all those who are saving the world.
    Last modified
  • JoshRoss

    Something like category theory?

  • bryanedds

    Honestly I'm not sure. I've never delved into category theory. Suppose I finally will this evening Smiley

    An individualist is he who is saving himself from all those who are saving the world.
    Last modified
  • Richard.Hein

    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

Comments closed

Comments have been closed since this content was published more than 30 days ago, but if you'd like to continue the conversation, please create a new thread in our Forums, or Contact Us and let us know.