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 (RelatedExternal Link)
M. A. Jenkins; J. I. Glagow (Article, 1989)
[-] The Q'Nial Language and Reference Manuals (RelatedExternal Link)
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)
[own]
[-] A Reduction Semantics for Array Expressions: The Psi Compiler
Lenore M. Restifo Mullin; Scott Thibault (Technical Report, 1994)
[own]

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

Valid HTML 4.01!External Link    Valid CSS!External Link