Search for dissertations about: "programming"

Showing result 1 - 5 of 702 swedish dissertations containing the word programming.

  1. 1. Functional Polytypic Programming

    University dissertation from Chalmers University of Technology

    Author : Patrik Jansson; Chalmers tekniska högskola.; Chalmers University of Technology.; [2000]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Informationsteknik; Information technology; programming languages; functional programming; algebraic datatypes; polytypic programming; generic programming;

    Abstract : Many algorithms have to be implemented over and over again for different datatypes, either because datatypes change during the development of programs, or because the same algorithm is used for several datatypes. Examples of such algorithms are equality tests, pretty printers, and pattern matchers, and polytypic programming is a paradigm for expressing such algorithms. READ MORE

  2. 2. Functional Polytypic Programming --- Use and Implementation

    University dissertation from Chalmers University of Technology

    Author : Patrik Jansson; Chalmers tekniska högskola.; Chalmers University of Technology.; Chalmers tekniska högskola.; Chalmers University of Technology.; [1997]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Teoretisk datalogi; Theoretical computer science; Datalogi; Computer science; Programming languages; Functional programming; Algebraic datatypes; Polytypic programming; Generic programming;

    Abstract : Many functions have to be written over and over again for different datatypes, either because datatypes change during the development of programs, or because functions with similar functionality are needed on different datatypes. Examples of such functions are pretty printers, pattern matchers, equality functions, unifiers, rewriting functions, etc. READ MORE

  3. 3. Programming Language Design - Issues in Web Programming and Security

    University dissertation from Chalmers University of Technology

    Author : Niklas Broberg; Göteborgs universitet.; University of Gothenburg.; Göteborgs universitet.; Gothenburg University.; [2006]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Computer science; Functional programming; web programming; dynamic loading; regular expressions; security; non-interference; calculus; core calculus; bisimulation;

    Abstract : .... READ MORE

  4. 4. Parallelism in Constraint Programming

    University dissertation from Chalmers University of Technology

    Author : Carl Christian Rolf; Lunds universitet.; Lund University.; [2011]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Constraint Programming; Parallelism; Parallel Consistency; Parallel Search; Distributed Constraint Programming;

    Abstract : Writing efficient parallel programs is the biggest challenge of the software industry for the foreseeable future. We are currently in a time when parallel computers are the norm, not the exception. Soon, parallel processors will be standard even in cell phones. READ MORE

  5. 5. On Some Properties of Interior Methods for Optimization

    University dissertation from Stockholm : Matematik

    Author : Göran Sporre; KTH.; [2003]
    Keywords : Interior method; primal-dual interior method; linear programming; quadratic programming; nonlinear programming; semidefinite programming; weighted least-squares problems; central path;

    Abstract : This thesis consists of four independent papers concerningdifferent aspects of interior methods for optimization. Threeof the papers focus on theoretical aspects while the fourth oneconcerns some computational experiments. READ MORE