Dr. Dietmar Kreye
Diplom-Informatiker


	Research
	Teaching
	Publications
	Bookshelf
		*Topics*
		Document Types
	Internal Section
	Lost and Found
	Contact

Array Theory

A Logical Basis for Nested Array Data Structures (Related)
M. A. Jenkins; J. I. Glagow (Article, 1989)

The Q'Nial Language and Reference Manuals (Related)
M. A. Jenkins; W. H. Jenkins (Manual, 1993)

Axioms and Theorems for a Theory of Arrays
T. More (Article, 1973)

The Nested Rectangular Array as a Model of Data
T. More (In Proceedings, 1979)

Notes on the Diagrams, Logic and Operations of Array Theory
T. More [O. Bjorke; O. Franksen (Eds.)] (In Collection, 1981)

A Mathematics of Arrays
Lenore M. Restifo Mullin (PhD Thesis, 1988)

The Psi-Function: A Basis for FFP with Arrays
Lenore M. Restifo Mullin [Lenore M. Restifo Mullin (Ed.)] (In Proceedings, 1991)

Formal Methods for Partitioning, Scheduling, Routing, and Communication Protocol
Lenore M. Restifo Mullin; D. Dooling; E. Sandberg; S. Thibault (Technical Report, 1995)

A Comparison of Array Theory and a Mathematics of Arrays
Lenore M. Restifo Mullin; Michael A. Jenkins (In Proceedings, 1991)

Effective Data Parallel Computation Using the Psi-Calculus
Lenore M. Restifo Mullin; Michael A. Jenkins (Article, 1996)

A Reduction Semantics for Array Expressions: The Psi Compiler
Lenore M. Restifo Mullin; Scott Thibault (Technical Report, 1994)

Responsible for the content of this site: Dietmar Kreye (My public PGP keys)
Last modified: Nov 10, 2004