Scientific Foundation of the Engineering Platform

Experimental Definition Sequence

Peter Falster, Ole Immanuel Franksen

    Research output: Book/ReportReportResearchpeer-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 languageEnglish
    Number of pages175
    Publication statusPublished - 1996

    Cite this

    Falster, Peter ; Franksen, Ole Immanuel. / Scientific Foundation of the Engineering Platform : Experimental Definition Sequence. 1996. 175 p.
    @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",

    }

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

    1996. 175 p.

    Research output: Book/ReportReportResearchpeer-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 -