C. B. Jay. Partial evaluation of shaped programs: experience with FISh. In O. Danvey, editor, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '99), 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Functional Array Fusion - Chakravarty, Keller (2001) (4 citations) (Correct)
....approaches the speed of hand coded C for simple examples. 1. INTRODUCTION Functional programming languages typically focus on lists rather than arrays due to the more elegant algebraic properties of the former. Notable exceptions are special purpose languages like Sisal [8] SAC [36] and FISh [19], which target applications from computational science and engineering that are conventionally implemented in array centred languages, such as Fortran. Consequently, these languages tend to have a syntax closely modelled after their imperative predecessors; in fact, SAC is an abbreviation for ....
C. B. Jay. Partial evaluation of shaped programs: experience with FISh. In O. Danvey, editor, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '99), 1999.
Costing Parallel Programs as a Function of Shapes - Jay (1999) (7 citations) Self-citation (Jay) (Correct)
....is also used to support various optimisations, e.g. recognising when a fold is actually a reduction. It has a fully formal operational semantics [Jay98a] and an informal denotational semantics [Jay99a] yet is competitive with C for efficiency, and significantly faster in the polymorphic setting [Jay99b] 3 The second goal of this paper is to outline some design principles for a data parallel version of FISh in which the power of the BMF operations and array distributions are enhanced by means of shape analysis. Ultimately, the two languages will combine as a co ordination language in which ....
....to embed native code within the language, too. The speed of the resulting programs is comparable to that of hand coded C, significantly faster in polymorphic situations, and about an order of magnitude faster than the fastest functional languages in the presence of even one higher order function [Jay99b] ffi : int j bool j float j : ff : X j ffi j [ff] oe : ffi j #ff : ff j oe : U j #U j exp j var ff j comm j OE : j 8 ff X:OE j 8 U:OE Figure 1: The raw FISh types Many design issues can be explored at the level of types, given in Figure 1. The array types ....
C.B. Jay. Partial evaluation of shaped programs: experience with FISh. In O. Danvey, editor, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '99) San Antonio, Texas, January 22-23, 1999: Proceedings. BRICS, 1999.
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