Hans-Dieter Ehrich. On the theory of specification, implementation and parameterization of abstract data types. Journal of the Association for Computing Machinery, 29:206--227, 1982.  Home/Search   Document Not in Database   Summary   Related Articles

.... can lead to some general techniques for developing correct programs [40] It would be interesting to extend this to more general variants of Lawvere theories (such as many sorted theories or sketches) and to the more general data representations studied in the abstract data type literature (e.g. [33, 9]) 3.4 Program Homomorphisms. Because Example 2.7 defines programs as functors, we expect program homomorphisms to be natural transformations between programs. Indeed, Burstall [5] shows that a weak form of Milner s program simulations [53] arises in just this way. In [19] this is generalised to ....

Hans-Dieter Ehrich. On the theory of specification, implementation and parameterization of abstract data types. Journal of the Association for Computing Machinery, 29:206--227, 1982.

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