Search Results - "Computer Programming"

Program Correctness through Self-Certification.

Authors: Namjoshi, Kedar S. Zuck, Lenore D.

Source: Communications of the ACM. Feb2025, Vol. 68 Issue 2, p74-84. 11p.

Subject Terms: *COMPUTER programming, *COMPUTERS, *COMPUTER systems, *SCALABILITY, *SYSTEMS design, *COMPUTER software, COMPUTER software testing, SOFTWARE verification

Asleep at the Keyboard? Assessing the Security of GitHub Copilot's Code Contributions.

Authors: Pearce, Hammond Ahmad, Baleegh Tan, Benjamin et al.

Source: Communications of the ACM. Feb2025, Vol. 68 Issue 2, p96-105. 10p.

Subject Terms: *COMPUTER programming, *COMPUTER security vulnerabilities, *PROGRAMMING languages, HUMAN-artificial intelligence interaction

Company/Entity: GITHUB Inc.

What Is Programming?

Authors: Nicolajsen, Sebastian Brabrand, Claus

Source: Communications of the ACM. Jun2025, Vol. 68 Issue 6, p28-30. 3p.

Subject Terms: *COMPUTER programming, *COMPUTER programmers, *PROBLEM solving, GENERATIVE artificial intelligence, DEFINITIONS

Deterministic Record-and-Replay.

Authors: Quinn, Andrew Alvaro, Peter

Source: Communications of the ACM. May2025, Vol. 68 Issue 5, p32-34. 3p.

Subject Terms: *DEFECT tracking (Computer software development), *COMPUTER programming, *INTERNET servers, COMPUTER debugging software, CLOUD computing, GRAPHICS processing units, MACHINE learning

AMRerank: A Framework for Library Migration Recommendations Using Multi‐Agent Analysis and Data‐Driven Reranking.

Authors: Luo, Jie Huang, Zijie Gao, Jianhua et al.

Source: IET Software (Wiley-Blackwell). 1/6/2026, Vol. 2026, p1-18. 18p.

Subject Terms: *SOFTWARE libraries (Computer programming), *SOFTWARE engineering, *RECOMMENDER systems, *MAINTENANCE costs, *DATA analysis, INFERENCE (Logic)

Engaging students of color in physiological computing with insights from eye-tracking.

Authors: Luo, Feiya Liu, Ruohan Nasrin, Fatema et al.

Source: Journal of Research on Technology in Education. Dec2025, Vol. 57 Issue 6, p1205-1229. 25p.

Subject Terms: *QUALITATIVE research, *PROBLEM solving, EYE tracking, COMPUTER programming education, SUMMER schools, ELEMENTARY education, BIOMETRY, MINORITY students

In Search of Quietude.

Authors: Neville-Neil, George V.¹ (AUTHOR) kv@acm.org

Source: Communications of the ACM. Oct2025, Vol. 68 Issue 10, p22-23. 2p.

Subject Terms: *COMPUTER programming, *TIME management, QUIETUDE

Can't We Have Nice Things?

Authors: Neville-Neil, George V.¹ (AUTHOR) kv@acm.org

Source: Communications of the ACM. Aug2025, Vol. 68 Issue 8, p24-25. 2p.

Subject Terms: *COMPUTER programming, *COMPUTER programmers, CODING theory

Encoding Emotions: gamificación y pensamiento computacional para trabajar la inteligencia emocional en educación primaria

Authors: Sánchez Camacho, Rafael

Contributors: University/Department: Universitat de Barcelona. Facultat d'Educació

Thesis Advisors: Grané, Mariona

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Intel·ligència emocional, Inteligencia emocional, Emotional intelligence, Ludificació, Gamificación, Gamification, Educació primària, Educación primaria, Primary education, Programació (Ordinadors), Programación de ordenadores, Computer programming, Ciències de l'Educació

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/692468

Development of the Cognitive Programming Engagement (CPE) Scale: A Learning Strategy.

Authors: Mahatanankoon, Pruthikrai Wolf, James R.

Source: Journal of Information Systems Education. Fall2025, Vol. 36 Issue 4, p400-416. 17p.

Subject Terms: *COMPUTER programming, *MATHEMATICS, LEARNING strategies, BLOOM'S taxonomy, TEACHING methods, INFORMATION technology education, STUDENT engagement

Proof Scores: A Survey.

Authors: Riesco, Adrián Ogata, Kazuhiro Nakamura, Masaki et al.

Source: ACM Computing Surveys. Oct2025, Vol. 57 Issue 10, p1-37. 37p.

Subject Terms: *COMPUTER programming, *COMPUTER security, *PROGRAMMING languages, *DATA structures, MODELING languages (Computer science), SYMBOLIC computation, HOMOMORPHISMS, SOFTWARE verification, GRAPH labelings

Better Differentially Private Approximate Histograms and Heavy Hitters using the Misra-Gries Sketch.

Authors: Lebeda, Christian Janos Tetek, Jakub

Source: ACM Transactions on Database Systems. Sep2025, Vol. 50 Issue 3, p1-26. 26p.

Subject Terms: *COMPUTER programming, *COMPUTER network monitoring, DATA privacy, REAL numbers, LAPLACE distribution

小学信息科技课堂中 "纸质流程图" 辅助编程教学的实践探索.

Authors: 毛向敏¹

Source: China Pulp & Paper Industry. 2025, Vol. 46 Issue 11, p136-138. 3p.

Subject Terms: *FLOW charts, COMPUTER programming education, PRIMARY schools

On Program Synthesis and Large Language Models.

Authors: Hüttel, Hans^1,2 (AUTHOR) hans.huttel@di.ku.dk

Source: Communications of the ACM. Jan2025, Vol. 68 Issue 1, p33-35. 3p.

Subject Terms: *COMPUTER programming, *ARTIFICIAL intelligence, *PROGRAMMING languages, *COMPUTER science, COMPUTATIONAL complexity

'Vibe coding' your own apps with AI is easy! 7 tools and tricks to get started.

Authors: SMITH, MATTHEW S. (AUTHOR)

Source: PCWorld. Aug2025, Vol. 43 Issue 8, p89-94. 6p. 3 Color Photographs, 3 Diagrams.

Subject Terms: *COMPUTER programming, PYTHON programming language, JAVASCRIPT programming language, SOFTWARE development tools, CHATBOTS, ARDUINO (Microcontroller)

Integrating a ChatGPT-enhanced error feedback system with epistemic network analysis to explore students’ learning programming behaviors.

Authors: Su, Yu-Sheng Hsu, Wan-Ying Chen, Jou-An

Source: Interactive Learning Environments. Jan2026, p1-21. 21p. 5 Illustrations.

Subject Terms: *CHATGPT, *COMPUTER programming education, *BEHAVIORAL assessment, *EDUCATIONAL technology, *C++, *SELF-regulated learning

Learning by teaching with ChatGPT: The effect of teachable ChatGPT agent on programming education.

Authors: Chen, Angxuan Wei, Yuang Le, Huixiao et al.

Source: British Journal of Educational Technology. Jan2026, Vol. 57 Issue 1, p163-184. 22p.

Subject Terms: *CHATGPT, *COMPUTER programming education, *LEARNING by teaching, *DEBUGGING, *INSTRUCTIONAL systems, *INTERACTIVE learning, *SELF-regulated learning, *COGNITIVE psychology

Beyond verbal self‐explanations: Student annotations of a code‐tracing solution produced by ChatGPT.

Authors: Gandhi, Abbey Muldner, Kasia

Source: British Journal of Educational Technology. Jan2026, Vol. 57 Issue 1, p112-137. 26p.

Subject Terms: *CHATGPT, *COMPUTER programming education, *ARTIFICIAL intelligence, *GRAPHIC methods, *ANNOTATIONS, *STUDENT engagement, *LEARNING strategies

Large Language Model and Fuzzy Metric Integration in Assignment Grading for Introduction to Programming Type of Courses.

Authors: Radišić, Rade Popov, Srđan Ralević, Nebojša

Source: Mathematics (2227-7390). Jan2026, Vol. 14 Issue 1, p137. 16p.

Subject Terms: *GRADING of students, *COMPUTER programming education, *FUZZY measure theory, *FUZZY clustering technique, *EDUCATIONAL evaluation, *LANGUAGE models

Bridging Concrete to Idealized: Integrating Hands-on Movements and Multiple External Representations in Programming Instructional Videos.

Authors: Xu, Ke Zhang, Yi Wang, Ruiyun et al.

Source: Journal of Educational Research. Dec2025, p1-13. 13p. 10 Illustrations.

Subject Terms: *COMPUTER programming education, *COGNITIVE load, *PSYCHOLOGICAL factors, *EDUCATIONAL outcomes, *GESTURE, *VISUAL aids, *STUDENT engagement, *TEACHING methods