Using institution theory in algebraic specification.

Category theory is used as a generalized theory that focuses on the structure of objects more than the morphism between them. Institution theory that depends heavily on category theory was...

18 February 2013 5,797 1 View