Compiler error messages considered unhelpful: The landscape of text-based programming error message research

BA Becker, P Denny, R Pettit, D Bouchard… - Proceedings of the …, 2019 - dl.acm.org
Diagnostic messages generated by compilers and interpreters such as syntax error
messages have been researched for over half of a century. Unfortunately, these messages …

A review of generic program visualization systems for introductory programming education

J Sorva, V Karavirta, L Malmi - ACM Transactions on Computing …, 2013 - dl.acm.org
This article is a survey of program visualization systems intended for teaching beginners
about the runtime behavior of computer programs. Our focus is on generic systems that are …

12–Novice programmers and introductory programming

AV Robins - The Cambridge handbook of computing education …, 2019 - books.google.com
One of the central topics in computing education research (CEdR) is the exploration of how
a person learns their first programming language, also described in terms such as …

An empirical investigation into programming language syntax

A Stefik, S Siebert - ACM Transactions on Computing Education (TOCE), 2013 - dl.acm.org
Recent studies in the literature have shown that syntax remains a significant barrier to
novice computer science students in the field. While this syntax barrier is known to exist …

The Java memory model

J Manson, W Pugh, SV Adve - ACM SIGPLAN Notices, 2005 - dl.acm.org
This paper describes the new Java memory model, which has been revised as part of Java
5.0. The model specifies the legal behaviors for a multithreaded program; it defines the …

Contracts for higher-order functions

RB Findler, M Felleisen - Proceedings of the seventh ACM SIGPLAN …, 2002 - dl.acm.org
Assertions play an important role in the construction of robust software. Their use in
programming languages dates back to the 1970s. Eiffel, an object-oriented programming …

Verification and change-impact analysis of access-control policies

K Fisler, S Krishnamurthi, LA Meyerovich… - Proceedings of the 27th …, 2005 - dl.acm.org
Sensitive data are increasingly available on-line through the Web and other distributed
protocols. This heightens the need to carefully control access to data. Control means not …

The design and implementation of Typed Scheme

S Tobin-Hochstadt, M Felleisen - ACM SIGPLAN Notices, 2008 - dl.acm.org
When scripts in untyped languages grow into large programs, maintaining them becomes
difficult. A lack of types in typical scripting languages means that programmers must (re) …

Methods and tools for exploring novice compilation behaviour

MC Jadud - Proceedings of the second international workshop on …, 2006 - dl.acm.org
Our research explores what we call compilation behaviour: the programming behaviour a
student engages in while repeatedly editing and compiling their programs. This edit-compile …

A programmable programming language

M Felleisen, RB Findler, M Flatt… - Communications of the …, 2018 - dl.acm.org
A programmable programming language Page 1 62 COMMUNICATIONS OF THE ACM | MARCH
2018 | VOL. 61 | NO. 3 IN THE IDEAL world, software developers would analyze each problem …