C. Barry Jay, Milan Sekanina  Home/Search
Context Related
| uts.edu.au/~cbj/Pu...ape_analysis.ps.gz uts.edu.au/~cbj/Pu...ape_analysis.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/Pu...alphabetical (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Shape theory provides a framework for the study of data types in which shape and data can be manipulated separately. This paper is concerned with shape checking, i.e. the detection of shape errors, such as array bound errors, without handling the data. It can be seen as a form of partial evaluation in which data computations are ignored. We construct a simply-typed lambda-calculus that supports a vector type constructor, whose iteration yields types of arrays. It is expressive enough to... (Update)
Context of citations to this paper: More
...should not depend on scalar values but only on constants or parameter sizes. A program observing this condition is called ishapelyj [JS97] For example, a skeleton f ilter p producing a vector made only of the elements of its vector argument satisfying the predicate p...
Cited by: More
A Schema for Adding Dependent Types to ML - Xi, Pfenning (Correct)
Dependent Types in Practical Programming (Extended Abstract) - Xi, Pfenning (1999) (Correct)
A Transformational Approach which Combines Size Inference.. - Herrmann, Lengauer (2001) (Correct)
Similar documents (at the sentence level):
27.2%: Shape Checking of Array Programs - Jay, Sekanina (1997) (Correct)
Active bibliography (related documents): More All
1.3: Shaping Object-Oriented Programs - Jay, Noble (1996) (Correct)
0.5: A Complete and Constant Time Wait-Free Implementation of .. - Prasad Jayanti Dartmouth (Correct)
0.3: Abstract Machines for Programming Language Implementations - Diehl, Hartel, Sestoft (2000) (Correct)
Similar documents based on text: More All
0.2: Shapely Types and Shape Polymorphism - Barry Jay And (1994) (Correct)
0.2: Distinguishing Data Structures and Functions: the Constructor.. - Jay (2001) (Correct)
0.2: Higher-Order Patterns - Jay (2004) (Correct)
Related documents from co-citation: More All
9: The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
7: Refinement types for ML - Freeman, Pfenning - 1991
7: The Coq Proof Assistant User's Guide (context) - Dowek, Felty et al. - 1993
BibTeX entry: (Update)
Jay, C. and Sekanina, M. Shape checking of array programs. no. 96.09, School of Computer Sciences, University of Technology, Sydney, Australia, 1996. http://citeseer.ist.psu.edu/article/jay96shape.html More
@article{ jay97shape,
author = "C. Barry Jay and Milan Sekanina",
title = "Shape Checking of Array Programs",
journal = "Australian Computer Science Comm. --- Proc. Computing: The {A}ustralasian Theory Symp., CATS",
volume = "19",
number = "2",
editor = "J. Harland",
pages = "113--121",
year = "1997",
url = "citeseer.ist.psu.edu/article/jay96shape.html" }
Citations (may not include all citations):638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
322 Direct Methods for Sparse Matrices (context) - Duff, Erisman et al. - 1986
288 Introduction to parallel computing : design and analysis of .. (context) - Kumar, Grama et al. - 1994
283 Theoretical Computer Science (context) - Plotkin, call-by-value et al. - 1975
210 Functional programming with bananas (context) - Meijer, Fokkinga et al. - 1991
166 NESL: a nested data parallel language - Blelloch - 1992
142 Abstract interpretation frameworks (context) - Cousot, Cousot - 1992
138 Abstract Interpretation of Declarative Languages (context) - Abramsky, editors - 1987
71 An intuitionistic theory of types: predicative part (context) - Martin-Lof - 1973
64 Science of Computer Programming (context) - Jay, for - 1995
37 VCODE: A data-parallel intermediate language (context) - Blelloch, Chatterjee - 1990
36 Natural-semantics-based abstract interpretation (context) - Schmidt - 1995
32 Optimization of range checking (context) - Markstein, Cocke et al. - 1982
30 Parallel skeletons for structured composition - Darlington, Guo et al. - 1995
20 list homomorphisms and the maximum segment sum problem (context) - Cole - 1993
12 Mathematical Center Amsterdam (context) - Klop, Systems - 1980
11 Data categories - Jay - 1996
8 Size and access inference for data-parallel programs - Blelloch, Chatterjee et al. - 1991
4 Technical Report UTS-SOCS (context) - Jay, monads et al. - 1993
3 ACM Surveys in Computing (context) - Jay, computing - 1996
3 An overview of the adl language project - Engelhardt, Alexander et al. - 1995
2 Optimising array bound checks using flow analysis (context) - Gupta - 1993
2 Submitted to PLILP (context) - Belle, Jay et al. - 1996
2 Algorithms and Architectures for Parallel Processing (context) - Jay, Clarke et al. - 1996
2 This article was processed using the L a T E X macro package.. (context) - Skillicorn, computation et al. - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://linus.socs.uts.edu.au/~cbj/Publications/alphabetical.html):
Costing Parallel Programs as a Function of Shapes - 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