-
In the way natural languages have a semantics, pictures also have
semantics when they are used as a medium to help people to
communicate. However, there is a distinction between picture semantics
and natural language semantics: the semantics of pictures is not fixed
by convention. The same pictur...
-
In recent years, there has been a growing interest in tools that
facilitate the understanding, analysis, and debugging of programs.
This thesis is concerned with tools and techniques that support the
analysis of programs. Instead of directly implementing program
analysis tools, our aim is to gene...
-
The dissertation is structured as follows. Chapter 1 provides a brief introduction to the field of logic programming and program transformations.
In Chapter 2, the semantics of normal logic programs are discussed. This chapter serves as an introduction to the subsequent three chapters. Additiona...
-
-
This thesis describes the PSF Toolkit, a set of software tools for specifying concurrent processes based on the specification language PSF (Process Specification Formalism). It is divided into three main parts: languages, tools and case studies.
The first part of this thesis describes the lang...
-
-
-
Taming amounts to finding computationally well-behaved versions of logics
and classes of algebras. The main concern of the dissertation is to find
decidable and complete versions of arrow logic and predicate logic. These
results are achieved by proving the equivalent decidability and finite
axiom...
-
Meta-Logics for Logic Programming
Marianne Kalsbeek
This dissertation consists of three separate parts, each of which can be read independently. In each part, a theme in Logic Programming (or rather, the practice of Logic Programming) is taken up and investigated from a logical point of view.
Pa...
-
-
In this dissertation we apply complexity theory to various grammatical
formalisms. We presuppose that the reader has basic knowledge of the formal
aspects of linguistics and the formal language theory. Familiarity with the
rudiments of complexity theory is required to fully understand the materia...