Search for dissertations about: "programming"

Showing result 21 - 25 of 1072 swedish dissertations containing the word programming.

2. 21. Towards a practical programming language based on dependent type theory

   Author : Ulf Norell; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; dependent types; type theory; metavariables; programming; pattern matching; type checking;

   Abstract : Dependent type theories have a long history of being used for theorem proving. One aspect of type theory which makes it very powerful as a proof language is that it mixes deduction with computation. READ MORE

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

   Author : Anne-Marie Cederqvist; Göteborgs universitet; []
   Keywords : 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;

   Abstract : 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. READ MORE

5. 23. A Distributed Haskell for the Modern Web

   Author : Anton Ekblad; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; programming languages; distributed systems; web development; interoperability; programming models; functional programming; compiler;

   Abstract : We present the design and implementation of a novel programming model andsoftware development suite for interactive, distributed web applications usingthe Haskell programming language.The suite includes the JavaScript-targeting Haste Haskell compilerwhich improves on the current state of the art by producing smaller and leanerJavaScript code while preserving compatibility with standard Haskell aswell as with the de facto standard GHC compiler. READ MORE

6. 24. Functional Programming for Embedded Systems

   Author : Abhiroop Sarkar; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Embedded Systems; Timing; Concurrency; Functional Programming; Virtual Machine; Language Runtime;

   Abstract : Embedded Systems application development has traditionally been carried out in low-level machine-oriented programming languages like C or Assembler that can result in unsafe, error-prone and difficult-to-maintain code. Functional programming with features such as higher-order functions, algebraic data types, polymorphism, strong static typing and automatic memory management appears to be an ideal candidate to address the issues with low-level languages plaguing embedded systems. READ MORE

7. 25. Teaching and Learning Concurrent Programming in the Shared Memory Model

   Author : Filip Strömbäck; Linda Mannila; Mariam Kamkar; Christoph Kessler; Mikko-Jussi Laakso; Linköpings universitet; []
   Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Concurrency; Synchronization; Programming; Computer science education; Visualization; Progvis;

   Abstract : The performance of computational devices is steadily increasing. Recently, the main contributor to the increasing performance has been an increasing number of cores rather than increased performance for individual cores. READ MORE