Equational code generation: implementing categorical data types fordata parallelism
Skillcorn, D.B.; Wentong Cai
TENCON apos;94. IEEE Region 10apos;s Ninth Annual International Conference. Theme: Frontiers of Computer Technology. Proceedings of 1994
Volume , Issue , 22-26 Aug 1994 Page(s):187 - 191 vol.1
Digital Object Identifier   10.1109/TENCON.1994.369311
Summary:The Bird-Meertens formalism is a second-order functional style of data parallel programming in which a fixed set of second order functions for each type is generated by a categorical construction. The mathematical structure underlying such categorical data types is important for software development by transformation. We show that it can also be used at compile time to allow code generation in an equational way

» View citation and abstract

Log in by entering your IEEE Web Account Username and Password.

IEEE Communications Society members: If you subscribe to the IEEE Electronic Periodicals Package or IEEE Electronic Periodicals Package Plus, you must access your subscription at www.comsoc.org.

Check with your librarian, information professional, or system manager to determine if you need to log in. Please complete the online Technical Support Form if you need assistance.

Select the Purchase History link to access the document. You will have 5 Days after purchase to access the Full Text PDF. Please complete the online Technical Support Form if you need assistance.

• Search and access Abstract records free of charge
• Register for table of contents alerts
• Purchase Full Text PDF documents

» Learn more about subscription options or how to become an IEEE Member.