< Back to previous page


A higher level of abstraction for logical specification languages

This doctorate aims to enrich logical specification languages, such as FO(·), with additional levels of abstraction: one the one hand structured recursive types and generic types, on the other hand relations as first class citizens. FO(·) tries to support natural and powerful representations of problem knowledge, but this is not always optimal because well known representations from other paradigms are not supported.Supporting structured recursive types and generic types such as lists or trees will make it possible to better the modularity and reusability of specifications.

Date:2 Sep 2014 →  9 Sep 2020
Keywords:specification languages, specificatietalen, abstractieniveau, logisch
Disciplines:Applied mathematics in specific fields, Computer architecture and networks, Distributed computing, Information sciences, Information systems, Programming languages, Scientific computing, Theoretical computer science, Visual computing, Other information and computing sciences
Project type:PhD project