Array Morphology 

Array morphology is the study of the form, structure, and evolution of arrays. Array morphology helps us to deduce the usual type, rank, and shape information of arrays, but is more general, in that it can also be used to deduce other properties that are useful for code optimization and for making assertions about properties of computer programs.

Robert Bernecky's MSc thesis introduced array morphology. The APEX thesis is available in PostScript (1.07 MB) and in PDF (651 KB).
 
A related Technical Report describes the internals of the APEX compiler in more detail. The Technical Report is available in PostScript (267 KB) and PDF (133 KB).
 
 

Other downloadable papers on array morphology include:

Reducing Computational Complexity with Array Predicates
Array Morphology

 

This page last updated on 2006-07-17.
Copyright © 2006 Snake Island Research Inc