Sökning: "programming"

Visar resultat 1 - 5 av 1071 avhandlingar innehållade ordet programming.

  1. 1. Functional Polytypic Programming

    Författare :Patrik Jansson; Chalmers University of Technology; []
    Nyckelord :algebraic datatypes; functional programming; programming languages; polytypic programming; generic programming;

    Sammanfattning : 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. LÄS MER

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

    Författare :Patrik Jansson; Chalmers University of Technology; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Functional programming; Algebraic datatypes; Generic programming; Polytypic programming; Programming languages;

    Sammanfattning : 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. LÄS MER

  3. 3. Representation of Compositional Relational Programs

    Författare :Görkem Paçacı; Andreas Hamfelt; Alberto Pettorossi; Uppsala universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; 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;

    Sammanfattning : 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. LÄS MER

  4. 4. Designing for the incorporation of programming in mathematical education : Programming as an instrument for mathematical problem solving

    Författare :Andreas Borg; Kenneth Ruthven; Maria Fahlgren; Chantal Buteau; Karlstads universitet; []
    Nyckelord :SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Mathematics; math; upper secondary; problem solving; programming; coding; instrument; instrumental genesis; education; mathematics education; scheme; matematik; skola; utbildning; problemlösning; programmering; kodning; instrument; instrumental genes; utbildning; matematikdidaktik; schema; Pedagogiskt arbete; Educational Work; Matematikdidaktik; Mathematics didactics;

    Sammanfattning : This study explored Swedish upper secondary school students’ use of programming for mathematical purposes. The aim of the study was to investigate the process through which students learn how to use a programming environment as a technical artefact during mathematical problem solving and how the orchestration of such learning situations could facilitate this process. LÄS MER

  5. 5. Industrial Robot Programming

    Författare :Klas Nilsson; Institutionen för datavetenskap; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; 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;

    Sammanfattning : Industrial robots play a key role in manufacturing systems. Robots are distinguished from other types of machinery mainly on the basis of their programmability and ability to be adaptable to different tasks. LÄS MER