The Static Semantics of the Green-Marl Graph Analysis Language: Formal Specification, Declarative Implementation and Integration with a Compiler Back-end

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...

A Tool for Estimating Marine Terminal Dimensions and Costs in a Project’s Feasibility Phase: Taking into account uncertainties

The main objective of this study is the realisation of a computer tool. The function of the tool is to estimate the required dimensions and quantities of essential container, dry and liquid bulk terminal elements, in an early design phase. As well as to give an estimate of the construction costs of these marine terminals. Terminal element...