From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1161 Path: news.gmane.org!not-for-mail From: Anton Antonov Newsgroups: gmane.science.mathematics.categories Subject: Category theory for Mathematica -> HPF Date: Mon, 12 Jul 1999 16:21:32 +0200 Organization: UNI-C, Denmark Message-ID: <3789F9EC.3A638DE6@unidhp1.uni-c.dk> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241017608 29765 80.91.229.2 (29 Apr 2009 15:06:48 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:06:48 +0000 (UTC) To: categories@mta.ca Original-X-From: cat-dist Tue Jul 13 08:23:08 1999 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.9.3/8.9.3) id GAA06304 for categories-list; Tue, 13 Jul 1999 06:44:52 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Mailer: Mozilla 4.04 [en] (X11; I; AIX 4.3) Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 27 Xref: news.gmane.org gmane.science.mathematics.categories:1161 Archived-At: Hi, Recently I presented in the Hewlett Packard conference HiPer'99 the paper "Translating Mathematica expressions to High Performance Fortran" with the following abstract: This paper introduces some ideas for translating the functional language Mathematica to the data-parallel language High Performance Fortran (HPF). It first discusses why we have the ability to do that. Then it gives some interpretations by Category Theory. Third the translating approach is presented for different Mathematica expressions that could be interpreted as specifications for parallel independence, reduction, task parallelism and subprogram's data mapping. Last is shown a simple executable program generated by the translator. You can find more about that on http://www.imm.dtu.dk./~aaa/MathematicaToHPF.html . I am glad that Category theory exists! With it I was able to express that Functional, Object-oriented and Parallel programing are the same kind of management. Regards Anton