Searched for: department%3A%22Software%255C%252BTechnology%22
(1 - 4 of 4)
document
Smits, J. (author)
Green-Marl is a domain specific language for efficient graph analysis. In this thesis, we define the formal static semantics of the language and provide an implementation in the Spoofax language workbench. The type system of Green-Marl includes limited forms of name-dependent types, overloading, parametric polymorphism, and inference. We give a...
master thesis 2016
document
Van Rest, O.F. (author)
Modeling languages such as Behavior Trees or QVT Relational provide both textual and graphical concrete syntaxes. Textual and graphical editors for such languages need to synchronize textual representations, graphical representations, and underlying models. During this synchronization, layout in textual and graphical representations needs to be...
master thesis 2013
document
Van Koppen, W. (author)
Self-reconfigurable modular robots are mechatronic devices that have the capability to modify their own shape. They have a promising potential as a result of being able to solve a wider range of problems. However, programming self-reconfigurable robots is in general a difficult task. General-purpose languages like ANSI-C or Java provide only...
master thesis 2013
document
Konat, G.D.P. (author)
Static analyses and transformations are an important part of programming and domain specific languages. For example; integrated development environments analyze programs for semantic errors such as incorrect names or types to warn the programmer about these errors. Compilers translate high-level programs into programs of another language or...
master thesis 2012
Searched for: department%3A%22Software%255C%252BTechnology%22
(1 - 4 of 4)