Search for dissertations about: "LOGIC PROGRAMS"
Showing result 1 - 5 of 60 swedish dissertations containing the words LOGIC PROGRAMS.
-
1. Representation of Compositional Relational Programs
Abstract : Usability aspects of programming languages are often overlooked, yet have a substantial effect on programmer productivity. These issues are even more acute in the field of Inductive Synthesis, where programs are automatically generated from sample expected input and output data, and the programmer needs to be able to comprehend, and confirm or reject the suggested programs. READ MORE
-
2. Lightweight verification of functional programs
Abstract : We have built several tools to help with testing and verifying functional programs. All three tools are based on QuickCheck properties. Our goal is to allow programmers to do more with QuickCheck properties than just test them. READ MORE
-
3. Automated Theorem Proving with Extensions of First-Order Logic
Abstract : Automated theorem provers are computer programs that check whether a logical conjecture follows from a set of logical statements. The conjecture and the statements are expressed in the language of some formal logic, such as first-order logic. READ MORE
-
4. Explanation-based transformation of logic programs
Abstract : .... READ MORE
-
5. Dependency-based groundness analysis of functional logic programs
Abstract : The object of study in this thesis is a class of functional logic programs, where the functions are implemented in an external functional or imperative language. The contributions are twofold:Firstly, an operational semantics is formally defined. READ MORE