Various similarity measures for source code have been proposed, many rely on edit- or tree-distance. To support a lecturer in quickly assessing live or online exercises with respect to "approaches taken by the students," we compare source code on a more abstract, semantic level. Even if novice student's solutions follow the same idea,…

Learning to write programs is hard, but many fail to even learn basic program reading skills, such as mentally tracing a program to predict its behavior. This dissertation argues a new theory of programming language knowledge that includes mappings from syntax to semantics and their nested combinations can serve as the basis for more granular…

The 1980s and 1990s saw a robust connection between computer science education and cognitive psychology as researchers worked to understand how students learn to program. More recently, academic disciplines such as science and engineering have begun drawing on cognitive psychology research and theories of learning to create instructional materials…

This study explored the impact of MetaClassroom, a virtual immersive programming learning environment designed based on the three-dimensional learning progression (3DLP) concept, on students' multidimensional development. Utilizing a quasi-experimental research design, this study compared students' programming learning achievements (PLA),…

The need to integrate the teaching and learning of computational thinking (CT) in K-12 education has been on the rise since it was identified as a skill for solving 21st-century problems. The co-design pedagogical approach has shown great potential in promoting effective communication of CT to both university and K-12 students with the support of…

As new technological developments continue to change the educational landscape, it is not an exception in the area of proof and proving. This classroom note introduces the use of one of the trending proofs assistants -- the Lean theorem prover. We first provide a technical account of Lean, then exemplify Lean proofs in propositional logic, number…

This is a practical guide for applying the Impact Threshold for a Confounding Variable and the Robustness of Inference to Replacement using the konfound packages in Stata and R as well as the R-shiny app. It includes motivation worked examples, and tutorials.

Computer programming languages play a crucial role in the education and training of librarians. This study examines the extent to which ALA-accredited online Master of Library and Information Science (MLIS) programs integrate programming languages into their curricula. Using a mixed-methods approach, data were collected from program websites,…

In education, we have noticed a significant gap between the ability of students to program in an educational visual programming environment and the ability to write code in a professional programming environment. The aim of our research was to verify the methodology of transition from visual programming of mobile applications in MIT App Inventor 2…

Learning object oriented programming (OOP) has been a daunting and challenging task for students across tertiary institutions in Nigeria. Various literatures have suggested the use of technology as a way to improve students' understanding of the subject. In this study, the overall aim is to investigate the effect of Imikode- a virtual reality (VR)…

Several studies have explored the factors that influence self-efficacy as well as its contribution to academic development in online learning environments in recent years. However, little research has investigated the effect of a web-based learning environment on enhancing students' beliefs about self-efficacy for learning. This is especially…

This study aims to conduct a literature review to explore the justification for including programming and coding in K-12 curricula. Additionally, it considers the value of teaching computational thinking and programming principles, pedagogical strategies, and the advantages and drawbacks of teaching programming to young students. Most studies…

The automatic code generation is the process of generating source code snippets from a program, i.e., code for generating code. Its importance lies in facilitating software development, particularly important is helping in the implementation of software designs such as engineering diagrams, in such a case, automatic code generation copes with the…

The capability of computer programming language logic is one of the basics of technical education. How to improve students "interest in program logic design and help overcome students" fears of coding has become vital for educators. Cultivating practical talents with information technology application and basic programming development…

Background: The degree to which Computer Science (CS) and Information Communication Technology (ICT) students are motivated to learn greatly impacts their study habits, academic achievement in school and ultimately their job prospects. In recent times, skills in programming languages have become vital in searching for employment. Objective: This…