English
Related papers

Related papers: From Theory to Systems: A Grounded Approach to Pro…

200 papers

Large Language Models (LLMs) have emerged as powerful tools for automating code generation, offering immense potential to enhance programmer productivity. However, their non-deterministic nature and reliance on user input necessitate a…

Software Engineering · Computer Science 2025-02-24 Bruno Pereira Cipriano , Lúcio Studer Ferreira

The integration of reasoning and computation services across system and language boundaries is a challenging problem of computer science. In this paper, we use integration for the scenario where we have two systems that we integrate by…

Logic in Computer Science · Computer Science 2011-09-20 Florian Rabe , Michael Kohlhase , Claudio Sacerdoti Coen

Drawing on the Data and Predictions strand of the Indicazioni Nazionali per il curricolo 2012, this study proposes a problem based instructional approach to the teaching of probability. More specifically, the study adopts a design based…

History and Overview · Mathematics 2026-04-24 Luigia Caputo , Aniello Buonocore

Learning to program could possibly be analogous to acquiring expertise in abstract mathematics, which may be boring or dull for a majority of students. Thus, among the countless options to approach learning coding [1-14], acquiring concepts…

Computers and Society · Computer Science 2019-03-14 Kailash Chandra , Shyamal Suhana Chandra

Children learn though play. We introduce the analogous idea of learning programs through play. In this approach, a program induction system (the learner) is given a set of tasks and initial background knowledge. Before solving the tasks,…

Machine Learning · Computer Science 2019-05-21 Andrew Cropper

When executed well, project-based learning (PBL) engages students' intrinsic motivation, encourages students to learn far beyond a course's limited curriculum, and prepares students to think critically and maturely about the skills and…

Computers and Society · Computer Science 2025-03-11 Gati Aher , Robin Schmucker , Tom Mitchell , Zachary C. Lipton

Novice programmers often struggle to understand how code executes and to form the abstract mental models necessary for effective problem-solving, challenges that are amplified in large, diverse introductory courses where students'…

Human-Computer Interaction · Computer Science 2025-10-01 Naaz Sibia , Valeria Ramirez Osorio , Jessica Wen , Rutwa Engineer , Angela Zavaleta Bernuy , Andrew Petersen , Michael Liut , Carolina Nobre

Most universities in the United States encourage their students to explore academic areas before declaring a major and to acquire academic breadth by satisfying a variety of requirements. Each term, students must choose among many thousands…

Information Retrieval · Computer Science 2024-12-31 Hugh Van Deventer , Mark Mills , August Evrard

Interoperability is the ability of a programming language to work with systems based on different languages and paradigms. These days, many widely used high-level language impementations provide access to external functionalities. In this…

Programming Languages · Computer Science 2017-03-16 Manuel Mazzara

Personalised education is one of the domains that can greatly benefit from the most recent advances in Artificial Intelligence (AI) and Large Language Models (LLM). However, it is also one of the most challenging applications due to the…

Computers and Society · Computer Science 2025-02-18 Sahan Bulathwela , Daniel Van Niekerk , Jarrod Shipton , Maria Perez-Ortiz , Benjamin Rosman , John Shawe-Taylor

Applications such as ChatGPT and WOMBO Dream make it easy to inspire students without programming knowledge to use artificial intelligence (AI). Therefore, given the increasing importance of AI in all disciplines, innovative strategies are…

Computers and Society · Computer Science 2024-03-12 Julius Schöning , Tim Wawer , Kai-Michael Griese

Machine learning has seen a vast increase of interest in recent years, along with an abundance of learning resources. While conventional lectures provide students with important information and knowledge, we also believe that additional…

Computers and Society · Computer Science 2021-07-30 Sebastian Raschka

We present a case-study on teaching an undergraduate level course on Software Engineering (second year and fifth semester of bachelors program in Computer Science) at a State University (New Delhi, India) using a novel teaching instruction…

Computers and Society · Computer Science 2013-09-04 Ashish Sureka , Monika Gupta , Dipto Sarkar , Vidushi Chaudhary

The use of conceptual models to foster requirements engineering has been proposed and evaluated as beneficial for several decades. For instance, goal-oriented requirements engineering or the specification of scenarios are commonly done…

Software Engineering · Computer Science 2021-03-09 Marian Daun , Jennifer Brings , Marcel Goger , Walter Koch , Thorsten Weyer

The work presented in this thesis seeks to improve programmer productivity in the following ways: - by reducing the amount of code that has to be written to construct an application; - by increasing the reliability of the code written; and…

Programming Languages · Computer Science 2010-06-18 Graham Kirby

In this paper, we investigate code-integrated reasoning, where models generate code when necessary and integrate feedback by executing it through a code interpreter. To acquire this capability, models must learn when and how to use external…

Computation and Language · Computer Science 2025-06-02 Fei Bai , Yingqian Min , Beichen Zhang , Zhipeng Chen , Wayne Xin Zhao , Lei Fang , Zheng Liu , Zhongyuan Wang , Ji-Rong Wen

Modern software systems require various capabilities to meet architectural and operational demands, such as the ability to scale automatically and recover from sudden failures. Self-adaptive software systems have emerged as a critical focus…

Software Engineering · Computer Science 2025-04-16 Mingyang Xu , Ryan Zheng He Liu , Mark Stoodley , Ladan Tahvildari

This paper introduces the innovative "LLMs-as-Instructors" framework, which leverages the advanced Large Language Models (LLMs) to autonomously enhance the training of smaller target models. Inspired by the theory of "Learning from Errors",…

Computation and Language · Computer Science 2024-07-02 Jiahao Ying , Mingbao Lin , Yixin Cao , Wei Tang , Bo Wang , Qianru Sun , Xuanjing Huang , Shuicheng Yan

This paper explores the use of large language models (LLMs) to score and explain short-answer assessments in K-12 science. While existing methods can score more structured math and computer science assessments, they often do not provide…

Computation and Language · Computer Science 2024-05-02 Clayton Cohn , Nicole Hutchins , Tuan Le , Gautam Biswas

A less complex and more straightforward program is a crucial factor that enhances its maintainability and makes writing secure and bug-free programs easier. However, due to its heavy workload and the risks of breaking the working programs,…

Programming Languages · Computer Science 2024-04-08 Atsushi Shirafuji , Yusuke Oda , Jun Suzuki , Makoto Morishita , Yutaka Watanobe