Denotational semantic of shape: Past present and future. Past work on the semantics of vectors and arrays provides a denotational semantics for the new, higher-order, polymorphic array programming language FISh, that uses static analysis to determine array shapes. This semantics will be combined with that of shape polymorphism to underpin a language that will support both shape analysis and shape polymorphism on both arrays and inductive types.
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Jay, C.Barry: Costing parallel programs as a function of shapes (2000)
- Jay, C.B.: Denotational semantic of shape: Past present and future (1999)