Sökning: "functional programming"

Visar resultat 21 - 25 av 132 avhandlingar innehållade orden functional programming.

1. 21. 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

3. 22. Multi-Stage Programming : Its Theory and Applications

   Författare :Walid Taha; Oregon Graduate Institute of Science and Technology; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

   Sammanfattning : MetaML is a statically typed functional programming language with special support for programgeneration. In addition to providing the standard features of contemporary programminglanguages such as Standard ML, MetaML provides three staging annotations. These staging annotationsallow the construction, combination, and execution of object-programs. LÄS MER

4. 23. A Functional Approach to Hardware Software Co-Design

   Författare :Markus Aronsson; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; domain specific languages; functional programming; signal processing; code generation;

   Sammanfattning : Developing software for embedded systems presents quite the challenge---not only do these systems demand good knowledge of the hardware they run on, but their limited resources also make it difficult to achieve efficiency. For embedded systems with different kinds of processing elements, the challenge is even greater; the presence of heterogeneous elements both raises all of the issues associated with homogeneous systems, and may also cause non-uniform system development and capability. LÄS MER

5. 24. A Programming Language for Data Privacy with Accuracy Estimations

   Författare :Elisabet Lobo Vesga; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Differential Privacy; Functional Programming; Databases; Haskell; Accuracy; Concentration Bounds;

   Sammanfattning : Differential privacy offers a formal framework for reasoning about the privacy and accuracy of computations on private data. It also offers a rich set of building blocks for constructing private data analyses. LÄS MER

7. 25. Seeing the parts, understanding the whole : A technology education perspective on teaching and learning in processes of analysing and designing programmed technological solutions

   Författare :Anne-Marie Cederqvist; Göteborgs universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; technology education; programmin; programmed technological solutions; programming materials; phenomenography; LeaDS - Learning in a Digitalised Society; LeaDS - Lärande i ett digitalt samhälle; technology education; programming; programmed technological solutions; programming materials; phenomenography;

   Sammanfattning : Analysing and designing Programmed Technological Solutions (PTS) has been introduced as a part of technology education in an effort to bring elements of programming into the curriculum for compulsory school, in order to develop pupils’ understanding of how PTS work and are controlled by programming. However, what an appropriate understanding entails at this level remains to be articulated, particularly how this understanding looks from a pupil’s perspective. LÄS MER