Format:
Table of Contents: “... this thesis -- Structure -- Background and related work -- Motivation -- High-level parallel programming...”
Click to View

Format:
Table of Contents: “... Evaluation by Delta Source Lines of Codes -- 6.3 Discussion -- References -- Mixed-Language Programming...”
Click to View

Format:
Table of Contents: “....1 RQ1: Do Pair and Mob Programming Induce Lower Levels of Concentration (Attention) Compared to Solo...”
Click to View

Format:
Table of Contents: “....2 Computing Affine Constants -- 6.3 Verification Algorithm -- 6.4 Implementation Remarks -- 7 Evaluation -- 7...”
Click to View

Format:
Table of Contents: “... to TouchDevelop -- 1.1 Computers want to be programmed -- 1.2 What is TouchDevelop? -- 1.3 The Touch...”
Click to View

Format:
Table of Contents: “... formulation -- 2.1.3 Choosing a test problem -- 2.2 FEniCS implementation -- 2.2.1 The complete program -- 2...”
Click to View

Format:
Table of Contents: “....3 Runtime Features -- 5 Program Generation for Training Set Augmentation -- 5.1 Code Mutations -- 5.2 Data...”
Click to View

Format:
Table of Contents: “... -- References -- Program Synthesis in Saturation -- 1 Introduction -- 2 Preliminaries -- 2.1 Computable Symbols...”
Click to View