Scientific Foundation of the Engineering Platform: Experimental Definition Sequence

Peter Falster; Ole Immanuel Franksen

Scientific Foundation of the Engineering Platform: Experimental Definition Sequence

Peter Falster, Ole Immanuel Franksen

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

Abstract

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.

Original language	English

Number of pages	175
Publication status	Published - 1996

OpenUrl availability

Full text

Cite this

@book{0e7e7aa8e59c46f4a8822179c5315e03,

title = "Scientific Foundation of the Engineering Platform: Experimental Definition Sequence",

abstract = "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.",

author = "Peter Falster and Franksen, {Ole Immanuel}",

year = "1996",

language = "English",

}

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 -