C.B. Jay  Home/Search
Context
Related
| uts.edu.au/~cbj/Publ...jay_tlca99.ps.gz 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: uts.edu.au/~cbj/Publications/ (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. It uses shape-theoretic techniques to support a generous class of polymorphic, higher-order, array operations, such as mapping and folding of arbitrary array functions, which are nevertheless implemented using efficient array access. This entails some modifications to the standard -calculus approaches. This paper gives a formal definition of the types, terms and reduction rules for... (Update)
Similar documents (at the sentence level):
55.8%: The FISh language definition - Jay (1998) (Correct)
Active bibliography (related documents): More All
0.8: Partial Evaluation of Shaped Programs: Experience with FISh - Jay (1999) (Correct)
0.5: Costing Parallel Programs as a Function of Shapes - Jay (1999) (Correct)
0.5: Functorial Lambda-Calculus - Jay School Of (Correct)
Similar documents based on text: More All
0.2: Poly-dimensional Array Programming - Jay (1998) (Correct)
0.2: Polymorphism Over Nested Regular Arrays: Theory and.. - Jay, Steckler (1998) (Correct)
0.1: Functorial ML - Jay, Bellè, Moggi (1998) (Correct)
BibTeX entry: (Update)
@techreport{ jay98formal,
author = "C. B. Jay",
title = "Formal Properties of Shape Analysis in {FIS}h",
year = "1998",
url = "citeseer.ist.psu.edu/jay98formal.html" }
Citations (may not include all citations):809 A theory of type polymorphism in programming (context) - Milner - 1978
638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
131 The essence of ALGOL (context) - Reynolds - 1981
121 Intensional interpretation of functionals of finite type (context) - Tait - 1967
110 Eliminating array bound checking through dependent types - Xi, Pfenning - 1998
87 Operational Semantics and Polymorphic Type Inference (context) - Tofte - 1988
65 Proving the correctness of reactive systems using sized type.. - Hughes, Pareto et al. - 1996
64 Science of Computer Programming (context) - Jay, for - 1995
21 Progress in Theoretical Computer Science (context) - O'Hearn, Tennent et al. - 1997
20 Tracts in Theoretical Computer Science (context) - Girard, Lafont et al. - 1989
14 The functional imperative: shape - Jay, Steckler - 1998
13 Shape in computing - Jay - 1996
12 Costing parallel programs as a function of shapes - Jay - 1998
12 Mathematical Center Amsterdam (context) - Klop, Systems - 1980
7 Poly-dimensional array programming - Jay - 1998
7 The FISh language definition - Jay - 1998
5 University of Technology (context) - Sekanina, PhD - 1998
4 Typed intermediate languages for shape analysis - Belle, Moggi - 1997
4 Dynamic typing through staged type inference (context) - Sheard - 1998
1 Research Directions in Parallel Functional Programming (context) - Jay - 1999
Documents on the same site (http://www-staff.it.uts.edu.au/~cbj/Publications/): More
Shape Analysis for Parallel Computing - Jay (1995) (Correct)
The Pattern Calculus - Jay (2003) (Correct)
Partial Evaluation of Shaped Programs: Experience with FISh - Jay (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