Sökning: "Declarative"
Visar resultat 1 - 5 av 92 avhandlingar innehållade ordet Declarative.
1. From Declarative Models to Local Search
Sammanfattning : A solver is a general-purpose software for solving optimisation problems. It takes as input a description of a problem, called a model, and uses a collection of algorithms, called its solving technology, to ideally produce an optimal solution as output. Most solvers have a modelling language that cannot be processed by other solvers. LÄS MER
2. Object-Oriented Declarative Program Analysis
Sammanfattning : This thesis deals with techniques for raising the programming level for a particular kind of computations, namely those on abstract syntax trees. Such computations are central in many program analysis tools, such as compilers, smart language-sensitive editors, and static analysis tools. LÄS MER
3. Flow Java : declarative concurrency for Java
Sammanfattning : 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. LÄS MER
4. Performance-polymorphic declarative queries
Sammanfattning : .... LÄS MER
5. Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis
Sammanfattning : 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. LÄS MER