Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Compiler error messages considered unhelpful: The landscape of text-based programming error message research
Diagnostic messages generated by compilers and interpreters such as syntax error
messages have been researched for over half of a century. Unfortunately, these messages …
messages have been researched for over half of a century. Unfortunately, these messages …
A review of generic program visualization systems for introductory programming education
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 …
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 …
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 …
novice computer science students in the field. While this syntax barrier is known to exist …
The Java memory model
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 …
5.0. The model specifies the legal behaviors for a multithreaded program; it defines the …
Contracts for higher-order functions
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 …
programming languages dates back to the 1970s. Eiffel, an object-oriented programming …
Verification and change-impact analysis of access-control policies
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 …
protocols. This heightens the need to carefully control access to data. Control means not …
The design and implementation of Typed Scheme
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) …
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 …
student engages in while repeatedly editing and compiling their programs. This edit-compile …
A programmable programming language
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 …
2018 | VOL. 61 | NO. 3 IN THE IDEAL world, software developers would analyze each problem …