Search for dissertations about: "definitional programming"
Found 5 swedish dissertations containing the words definitional programming.
-
1. Definitional program separation
Abstract : .... READ MORE
-
2. Computational Issues in Calculi of Partial Inductive Definitions
Abstract : We study the properties of a number of algorithms proposed to explore the computational space generated by a very simple and general idea: the notion of a mathematical definition and a number of suggested formal interpretations ofthis idea. Theories of partial inductive definitions (PID) constitute a class of logics based on the notion of an inductive definition. READ MORE
-
3. Issues in Structured Knowledge Representation A Definitional Approach with Application to Case-Based Reasoning and Medical Informatics
Abstract : Several issues concerned with structured knowledge representation based on definitional structures are discussed: the realisation of knowledge-based systems using declarative programming, similarity assessment in knowledge representation and case-based reasoning, and the importance of human-computer interaction and information visualisation in knowledge-based systems. To illustrate the basic ideas, real-world applications from the area of oral medicine are used. READ MORE
-
4. GCLA : the design, use and implementation of a program development system
Abstract : We present a program development system, GCLA (Generalized horn Clause LAnguage*), which is based on a generalization of Horn clauses (e.g. Prolog). This generalization takes a quite different view of the meaning of a logic program - a "definitional" view rather than the traditional logical view. READ MORE
-
5. On Induction, Coinduction and Equality in Martin-Löf and Homotopy Type Theory
Abstract : Martin Löf Type Theory, having put computation at the center of logical reasoning, has been shown to be an effective foundation for proof assistants, with applications both in computer science and constructive mathematics. One ambition though is for MLTT to also double as a practical general purpose programming language. READ MORE