Search for dissertations about: "programming"

Showing result 1 - 5 of 709 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. 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; Information Systems; Informationssystem;

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

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