Blar i Master theses på tittel
Viser treff 195-197 av 197
-
Visual specification of multi-way data-flow constraint systems
(Master thesis, 2022-06-01)User interfaces are costly to develop and difficult to get correct. Estimates place the effort of programming UIs between 30% and 60% of the total programming effort of applications. One reason for why graphical user ... -
WiRoM: a High-level Mission Planning System for Heterogeneous Multi-Robot Simulations
(Master thesis, 2020-06)Robots are complicated machines. Today we have a lot of different types of robots, each with different types of sensors and actuators which have their own practical (and impractical) applications. Utilizing the benefits ... -
λ' is Confluent
(Master thesis, 2023-11-20)The λ-calculus is a well-known model of computation, characterised by its simplicity and adapted for the implementation of functional programming languages. We present an extension of the λ-calculus proposed by ...