Non-Deterministic Symbolic Analysis using Free Monads for Test Data Generation

Constraint logic programming (CLP) is a combination of two programming paradigms: constraint programming and logic programming. This combination allows us to write programs in a concise way and still be executed efficiently. CLP is commonly used for many domains, such as test data generation. A commonly used technique for doing this is by...

The re-development value of vacant real estate: A method of analysing the financial feasibility of re-development projects from offices to housing

This graduation thesis describes a method for estimating the most probable re-development value for transformation projects from offices to housing. In addition it presents a model for to analyse a projects financial feasibility. This thesis presents an analysis of the transformation process, including the different costs (taxation and real...