FISh

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.
Sorted by year (citations)

  1. Jay, C.Barry: Costing parallel programs as a function of shapes (2000)
  2. Jay, C.B.: Denotational semantic of shape: Past present and future (1999)