Dr. Dietmar Kreye
Diplom-Informatiker
|
|
|
|
|
|
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
|
|