Sökning: "program compilation techniques"

Visar resultat 1 - 5 av 11 avhandlingar innehållade orden program compilation techniques.

1. 1. Three Specialized Computer Architectures for Functional Program Execution

   Författare :Jonas Vasell; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; computer architectures; G-machine; programming languages; program compilation techniques; VLSI implementation; performance; array architecture;

   Sammanfattning : Functional programming languages offer a new programming paradigm with many advantages over the more conventional imperative or procedural programming languages. However, these new languages are not as well adapted to the existing computers as the conventional languages, which results in low performance. LÄS MER

3. 2. Protecting Functional Programs From Low-Level Attackers

   Författare :Adriaan Larmuseau; Dave Clarke; Julian Rathke; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Security; Functional Programming; Compilation; Interoperation; Bisimulation; Memory Protection; Datavetenskap; Computer Science;

   Sammanfattning : Software systems are growing ever larger. Early software systems were singular units developed by small teams of programmers writing in the same programming language. Modern software systems, on the other hand, consist of numerous interoperating components written by different teams and in different programming languages. LÄS MER

4. 3. Architectures and Compilation Techniques for a Data-Driven Processor Array

   Författare :Jesper Vasell; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : This thesis presents two processor array architectures and a program transformation technique, which are aimed at efficient exploitation of fine-grain parallelism. The class of architectures considered are fine-grain processor arrays with a data-driven execution model. LÄS MER

5. 4. Tailoring native compilation of Java for real-time systems

   Författare :Anders Nilsson; Institutionen för datavetenskap; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; systems; numerical analysis; Java; embedded systems; real-time; aspect-oriented; object-oriented; Computer science; compiler construction; control; Datalogi; numerisk analys; system; kontroll;

   Sammanfattning : Our everyday appliances ranging from toys to vehicles, as well as the equipment used to manufacture them, contain an increasing number of embedded computers. Embedded systems software often implement functionality that is crucial for the operation of the device, resulting in a variety of timing requirements and resource utilization constraints to be fulfilled. LÄS MER

7. 5. Abstract interpretations and abstract machines : contributions to a methodology for the implementation of logic programs

   Författare :Ulf Nilsson; Jan Maluszynski; Samya Debray; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

   Sammanfattning : Because of the conceptual gap between high-level logic programming languages and existing hardware, the problem of compilation is hard. This thesis addresses two ways of narrowing this gap – program analysis through abstract interpretation and the introduction of intermediate languages and abstract machines. LÄS MER