Leszczylowski, J., and M. Wirsing, Polymorphism, Parameterization, and Typing: An Algebraic Specification Perspective. Proc. Symposium on Theoretical Aspects of Computer Science (LNCS 480), 1991, 1-15.  Home/Search   Document Not in Database   Summary   Related Articles

....OhB88] Recently, the notion of kinds has also been used in [BuO91] to model subtyping; a kind describes all record types which have a given set of components (labels) this is related to the POWER[A] kind of [Ca88] There is also some work related to SOS on the algebraic specification side. In [LeW91] higher order signatures are mentioned and it is observed that there exist sort constructors such as seq: Sort Sort which for a given specification form a (single sorted) signature. However, in detail their approach to higher order signatures is quite different from ours and more complex; for ....

Leszczylowski, J., and M. Wirsing, Polymorphism, Parameterization, and Typing: An Algebraic Specification Perspective. Proc. Symposium on Theoretical Aspects of Computer Science (LNCS 480), 1991, 1-15.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC