Home // INFOCOMP 2019, The Ninth International Conference on Advanced Communications and Computation // View article


Imperative Functional Programming - Software Engineering with I4

Authors:
Lutz Schubert
Athanasios Tsitsipas
Keith Jeffery

Keywords: software engineering; I4; abstraction; declarative programming; imperative programming.

Abstract:
Applications need to be constantly re-developed for new devices and infrastructures, and to address new user needs. This leads to an increasing maintenance cost that only large-scale companies can afford. The problem with traditional Turing based programming models is that algorithms cannot be easily adjusted and thus bind the application to an environment. In this paper, we discuss how mathematical definitions can be used to not only describe algorithms, but specifically to allow their transformation and (re)generation to principally address different infrastructures and requirements at considerably reduced effort.

Pages: 47 to 52

Copyright: Copyright (c) IARIA, 2019

Publication date: July 28, 2019

Published in: conference

ISSN: 2308-3484

ISBN: 978-1-61208-732-0

Location: Nice, France

Dates: from July 28, 2019 to August 2, 2019