A higher level of abstraction for logical specification languages KU Leuven
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 ...