Search for dissertations about: "programming"

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

  2. 1. Representation of Compositional Relational Programs

    University dissertation from Uppsala : Department of Informatics and Media, Uppsala University

    Author : Görkem Paçacı; Uppsala universitet.; [2017]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Programming; Syntax; Logic Programming; Combilog; CombInduce; Prolog; Variable-free; Point-free; Tacit; Compositional Relational Programming; Combinatory Logic; Predicate-Functor Logic; Program Synthesis; Meta-interpreters; Meta-interpretative Synthesis; Decompositional Synthesis; Inductive Synthesis; Inductive Logic Programming; Usability; Cognitive Dimensions of Notations; Visual Variables; Usability testing; Programming Language usability; Empirical evidence; Informationssystem; Information Systems;

    Abstract : Usability aspects of programming languages are often overlooked, yet have a substantial effect on programmer productivity. These issues are even more acute in the field of Inductive Synthesis, where programs are automatically generated from sample expected input and output data, and the programmer needs to be able to comprehend, and confirm or reject the suggested programs. READ MORE

  4. 2. Industrial Robot Programming

    University dissertation from Department of Automatic Control, Lund Institute of Technology (LTH)

    Author : Klas Nilsson; Lunds universitet.; Lund University.; Lunds universitet.; Lund University.; [1996]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; control engineering; robotics; Automation; Software architecture.; Embedded systems; Open systems; Robot control; Industrial robots; Robot programming; Automatiska system; robotteknik; reglerteknik;

    Abstract : Popular Abstract in Swedish En industrirobot är en flexibel programmerbar maskin som bör användas för sådant arbete som inte lämpar sig för människan att utföra. Olika tekniska begränsningar i dagens styrsystem begränsar dock robotars tillämpbarhet. READ MORE

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

    University dissertation from Göteborg : Chalmers University of Technology

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

    Abstract : This thesis consists of two separate parts. Both concernprogramming language design, the first in the domain ofweb programming and the other for security. READ MORE

  6. 4. Parallelism in Constraint Programming

    University dissertation from Göteborg : Chalmers University of Technology

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

    Abstract : Popular Abstract in English At our workplace, at home, and on the road, we rely on software. It has become one of the central technologies on which we base our society. Yet, software is perhaps the major technology that is understood the least by the general population. READ MORE

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