### Abstract

Original language | English |
---|

Number of pages | 175 |
---|---|

Publication status | Published - 1996 |

### Cite this

*Scientific Foundation of the Engineering Platform: Experimental Definition Sequence*.

}

*Scientific Foundation of the Engineering Platform: Experimental Definition Sequence*.

**Scientific Foundation of the Engineering Platform : Experimental Definition Sequence.** / Falster, Peter; Franksen, Ole Immanuel.

Research output: Book/Report › Report › Research › peer-review

TY - RPRT

T1 - Scientific Foundation of the Engineering Platform

T2 - Experimental Definition Sequence

AU - Falster, Peter

AU - Franksen, Ole Immanuel

PY - 1996

Y1 - 1996

N2 - The primary aim of the definition sequence is to establish the mathematical platform for software development in particular with a view towards array-based logic. The secondary aim is to establish an approach for teaching array theory. The definition sequence has been developed in the spirit of array theory developed by dr. Trenchard More. In order to check the definition sequence we made a comparison to APL2, Iverson's J language, functional programming languages and Backus' FP. The establishment of the set of primitives is considered as an engineering design project. The result of this is that from eight primitives which can be related to the axioms of Zermelo-Fraenkel's set theory we can build all the functions of the pure array theory.

AB - The primary aim of the definition sequence is to establish the mathematical platform for software development in particular with a view towards array-based logic. The secondary aim is to establish an approach for teaching array theory. The definition sequence has been developed in the spirit of array theory developed by dr. Trenchard More. In order to check the definition sequence we made a comparison to APL2, Iverson's J language, functional programming languages and Backus' FP. The establishment of the set of primitives is considered as an engineering design project. The result of this is that from eight primitives which can be related to the axioms of Zermelo-Fraenkel's set theory we can build all the functions of the pure array theory.

M3 - Report

BT - Scientific Foundation of the Engineering Platform

ER -