Sökning: "declarative programming"

Visar resultat 11 - 15 av 31 avhandlingar innehållade orden declarative programming.

1. 11. Generic distribution support for programming systems

   Författare :Erik Klintskog; Seif Haridi; Peter von Roy; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; computer sicence; Datavetenskap; Computer science; Datavetenskap;

   Sammanfattning : This dissertation provides constructive proof, through the implementation of a middleware, that distribution transparency is practical, generic, and extensible. Fault tolerant distributed services can be developed by using the failure detection abilities of the middleware. LÄS MER

3. 12. Flow Java: Declarative Concurrency for Java

   Författare :Frej Drejhammar; RISE; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   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. 13. Programming Language Techniques for Natural Language Applications

   Författare :Björn Bringert; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : It is easy to imagine machines that can communicate in natural language. Constructing such machines is more difficult. The aim of this thesis is to demonstrate how declarative grammar formalisms that distinguish between abstract and concrete syntax make it easier to develop natural language applications. LÄS MER

5. 14. Integrating Visual Data Flow Programming with Data Stream Management

   Författare :Lars Melander; Tore Risch; Sharma Chakravarthy; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; data stream management; data stream visualization; visual data flow programming; LabVIEW; Datavetenskap med inriktning mot databasteknik; Computer Science with specialization in Database Technology;

   Sammanfattning : Data stream management and data flow programming have many things in common. In both cases one wants to transfer possibly infinite sequences of data items from one place to another, while performing transformations to the data. LÄS MER

7. 15. Contributions to Declarative Implementation of Static Program Analysis

   Författare :Jesper Öqvist; Institutionen för datavetenskap; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : Programming languages are ever evolving, with new languages being invented to solve new problems, and old languages being extended to solve old problems in new ways. With the continued evolution of programming languages, and with new and improved static program analyses, we need flexible systems for building our static analyses and compilers. LÄS MER