Multiparadigm Optimizing Retargetable Transdisciplinary Abstraction Language
Permanent link
https://hdl.handle.net/10037/7730View/ Open
thesis (PDF)
compiler source code (Unknown)
benchmark used in evaluation (Unknown)
syntax highlighting files for editors (Unknown)
Date
2015-04-12Type
Master thesisMastergradsoppgave
Author
Kåven, Ove HenrikAbstract
Scientists and engineers require ever more powerful software and hardware to analyze data and build models. Unfortunately, current solutions to the problem are often hard to use for scientists that are not software engineers. And software engineers often do not have the mathematical background to understand the scientific problem to solve.
This thesis describes MORTAL, a new general-purpose programming language and compiler for high-performance applications, which aims to bridge this gap by offering a multiparadigm programming environment that allows, for example, the mathematical formulae written by the scientist (perhaps using declarative programming) to be connected to the algorithms implemented by the software engineer (perhaps using object-oriented or functional programming) in a natural way, understood by both. The language will apply modern compiler and static analysis technology, along with contract programming, in new ways to both prevent bugs and improve runtime performance.
The implemented compiler is self-hosting and able to compile itself, showing that the language and its compiler, though not fully implemented yet, is already usable. The performance of MORTAL programs is also on par with the performance of C programs.
We believe MORTAL has the potential to become a useful language for solving many of the more demanding tasks of modern science.
Publisher
UiT Norges arktiske universitetUiT The Arctic University of Norway
Metadata
Show full item recordCollections
Copyright 2015 The Author(s)
The following license file are associated with this item:
Except where otherwise noted, this item's license is described as Attribution-NonCommercial-ShareAlike 3.0 Unported (CC BY-NC-SA 3.0)
Related items
Showing items related by title, author, creator and subject.
-
Influence of environmental tonicity changes on lipophilic drug release from liposomes
Nikolaisen, Trygg Einar (Mastergradsoppgave; Master thesis, 2018-05-15)Introduction: Liposomes as drug delivery systems has been widely studied as a way to solubilize poorly soluble drugs, reduce side effects of chemotherapeutics and increase circulation time in vivo. Since the first descriptions of liposomes over 60 years ago, they have shown tendencies to shrink and swell when the external environment of the liposomes is altered. This phenomenon has been studied in ... -
Implementing an electronic health record in a Nigerian secondary healthcare facility. Prospects and challenges
Attah, Ambrose Ojadale (Master thesis; Mastergradsoppgave, 2017-11-02)Nigeria is witnessing continuing advocacy and increase in number of individuals yearning for computerization of health information and healthcare processes. However, little is known about the opinions of the diverse healthcare providers who would ensure the successful implementation and meaningful use of health information technology in the country (Adeleke, Erinle et al. 2015). This study explores ... -
Geometric Modeling- and Sensor Technology Applications for Engineering Problems
Pedersen, Aleksander (Doctoral thesis; Doktorgradsavhandling, 2020-10-20)In applications for technical problems, Geometric modeling and sensor technology are key in both scientific and industrial development. Simulations and visualization techniques are the next step after defining geometry models and data types. This thesis attempts to combine different aspects of geometric modeling and sensor technology as well as to facilitate simulation and visualization. It includes ...