C.B. Jay  Home/Search
Context Related
Links: DBLP | brics.dk/~pepm99/Proceedings/jay.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: brics.dk/~pepm99/programme (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: FISh is an array-based programming language that combines imperative and functional programming styles. Static shape analysis uses partial evaluation to convert higherorder polymorphic programs into simple, efficient imperative programs. This paper explains how to compute shapes statically, and uses concrete examples to illustrate its several effects on performance. 1 (Update)
Context of citations to this paper: More
.... 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...
...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,...
Cited by: More
Functional Array Fusion - Chakravarty, Keller (2001) (Correct)
Costing Parallel Programs as a Function of Shapes - Jay (1999) (Correct)
Similar documents (at the sentence level):
46.4%: Partial Evaluation of Shaped Programs: Experience with FISh - Jay (1999) (Correct)
20.5%: The FISh language definition - Jay (1998) (Correct)
Active bibliography (related documents): More All
0.8: Formal properties of shape analysis in FISh - Jay (1998) (Correct)
0.3: Functorial Lambda-Calculus - Jay School Of (Correct)
0.2: The Functional Imperative: Shape! - Jay, Steckler (1997) (Correct)
Similar documents based on text: More All
0.2: Poly-dimensional Array Programming - Jay (1998) (Correct)
0.2: Shape Checking of Array Programs - Jay, Sekanina (1997) (Correct)
Related documents from co-citation: More All
2: Flattening trees - Keller, Chakravarty - 1998
BibTeX entry: (Update)
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. http://citeseer.ist.psu.edu/article/jay99partial.html More
@inproceedings{ jay99partial,
author = "Jay, C. B.",
title = "{Partial Evaluation of Shaped Programs: Experience With {FISh}}",
booktitle = "{ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-Based Program Manipulation ({PEPM} '99) San Antonio, Texas, January 22-23, 1999: Proceedings",
publisher = "{BRICS}",
editor = "O. Danvey",
pages = "147--158",
year = "1999",
url = "citeseer.ist.psu.edu/article/jay99partial.html" }
Citations (may not include all citations):809 A theory of type polymorphism in programming (context) - Milner - 1978 DBLP
638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993 ACM
186 Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995 ACM DBLP
133 Multi-stage programming with explicit annotations - Sheard, Taha - 1997 ACM DBLP
132 Syntactic control of interference (context) - Reynolds - 1989 ACM DBLP
132 Syntactic control of interference (context) - Reynolds - 1978
131 The essence of ALGOL (context) - Reynolds - 1981
87 Operational Semantics and Polymorphic Type Inference (context) - Tofte - 1988
64 Science of Computer Programming (context) - Jay, for - 1995
51 Two-level functional languages (context) - Nielson, Nielson - 1992 ACM
46 Journal of Functional Programming (context) - Jay, Belle et al.
45 Flow-directed inlining - Jagannathan, Wright ACM DBLP
24 The effectiveness of type-based unboxing - Leroy
22 Semantics for communication primitives in a polymorphic lang.. - Ohori, Kato - 1993 ACM
21 A monadic calculus for parallel costing of a functional lang.. - Jay, Cole et al. - 1997 ACM DBLP
21 Progress in Theoretical Computer Science (context) - O'Hearn, Tennent et al. - 1997
17 The effectiveness of flow analysis for inlining - Ashley ACM DBLP
16 ACM Transactions on Programming Languages and Systems (context) - Consel, Khoo et al. - 1993
14 The functional imperative: shape - Jay, Steckler
12 Costing parallel programs as a function of shapes - Jay - 1998 ACM DBLP
11 monads and the fast Fourier transform (context) - Jay
7 Poly-dimensional array programming - Jay - 1998
5 University of Technology (context) - Sekanina, PhD - 1998
4 Typed intermediate languages for shape analysis - Belle, Moggi - 1997 ACM DBLP
1 Denotational semantics of shape: Past (context) - Jay
Documents on the same site (http://www.brics.dk/~pepm99/programme.html): More
Quasiquotation in Lisp - Bawden (1999) (Correct)
Declarative Aspect-Oriented Programming - Lämmel (1999) (Correct)
Interpreting Specialization in Type Theory - Thiemann (1999) (Correct)
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