Home // INFOCOMP 2018, The Eighth International Conference on Advanced Communications and Computation // View article

A Theoretical Concept: Towards Mathematical Declarations of Code Intentions

Authors:
Athanasios Tsitsipas
Lutz Schubert

Keywords: Software Engineering; (De-)composition; Group Theory

Abstract:
Abstract—”The whole is more than the sum of its parts” (Aristotle). Current imperative languages do not allow a program to be simply broken up (decomposition) or to merge several parts of a program, but demand appropriate knowledge and manual effort. The idea behind is to transfer methods from mathematical combinatorics to standard programming models to enable the distribution of a task across multiple heterogeneous resources. This approach allows distributed, heterogeneous resources to be treated as an integrated platform, with no hassle of adaptation for the developer. In this paper we propose and discuss a theoretical framework, with which the correctness of the code can be guaranteed with automated (de-)composition and adaptation. This will lay the groundwork for new programming methods that will allow code to be more fully understood, analysed and modified. This is relevant for all areas that develop and use software.

Pages: 55 to 56

Copyright: Copyright (c) IARIA, 2018

Publication date: July 22, 2018

Published in: conference

ISSN: 2308-3484

ISBN: 978-1-61208-655-2

Location: Barcelona, Spain

Dates: from July 22, 2018 to July 26, 2018