Search for dissertations about: "Declarative Programming"

Showing result 6 - 10 of 31 swedish dissertations containing the words Declarative Programming.

2. 6. Testing for ASP—ASP for Testing

   Author : Johannes Oetsch; Hans Tompits; Österreich Technische Universität Wien Institut für Logic and Computation; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Logic Programming; Answer-Set Programming; Mutation Testing; Random Testing; Structural Testing; Unit Testing; Program Annotations; Combinatorial Interaction Testing; Event-Sequence Testing; Programming Support;

   Abstract : Answer-set programming (ASP) is a prominent approach for declarative problem solving with roots in non-monotonic reasoning, knowledge representation, and logic programming. As a problem solving paradigm, it means that properties of problem solutions are modelled using declarative rules so that an ASP solver can then be used to search for solutions which are referred to as answer sets. READ MORE

4. 7. Flow Java : declarative concurrency for Java

   Author : Frej Drejhammar; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datorsystem; Datorsystem; Computer engineering; Datorteknik;

   Abstract : This thesis presents the design, implementation, and evaluation of Flow Java, a programming language for the implementation of concurrent programs. Flow Java adds powerful programming abstractions for automatic synchronization of concurrent programs to Java. READ MORE

5. 8. Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis

   Author : Idriss Riouak; Programvaruteknik; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Static program analysis; Declarative paradigms; Reference Attribute Grammars; Control flow analysis; Data flow analysis; IntraCFG framework; Bug detection; IntraJ Static Analyser; Interactive bug detection and fixing; JFeature Static Analyser;

   Abstract : Static program analysis plays a crucial role in ensuring the quality and security of software applications by detecting and fixing bugs, and potential security vulnerabilities in the code. The use of declarative paradigms in dataflow analysis as part of static program analysis has become increasingly popular in recent years. READ MORE

6. 9. Debugging and Structural Analysis of Declarative Equation-Based Languages

   Author : Peter Bunus; Peter Fritzson; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; software development; object-oriented; debugging; computer programming; debugging kernel prototypes; Computer science; Datavetenskap;

   Abstract : A significant part of the software development effort is spent on detecting deviations between software implementations and specifications, and subsequently locating the sources of such errors. This thesis illustrates that is possible to identify a significant number of errors during static analysis of declarative object-oriented equation-based modeling languages that are typically used for system modeling and simulation. READ MORE

7. 10. Logic programming with external procedures : an implementation

   Author : Andreas Kågedal; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : This work aims at combining logic programs with functions written in other languages, such that the combination preserves the declarative semantics of the logic program. S-Unification, as defined by S. Bonnier and J. Maluszynski, provides a theoretical foundation for this. READ MORE