Programming a computer is a complex, cognitively rich process. This paper examines ways
in which human cognition is reflected in the text of computer programs. We concentrate on …

Pathwidth and treewidth are standard and well-studied graph sparsity parameters which
intuitively model the degree to which a given graph resembles a path or a tree, respectively …

GitHub is a popular code platform that provides infrastructures to facilitate collaborative
development. A Pull Request (PR) is one of the key ideas to support collaboration …

Practical programming courses in the Pascal Language inevitably include the need to
assess programs submitted by the students. Part of this assessment usually involves …

While there is a growing trend towards the exploitation of technology for the delivery of
educational material, it must be said that techniques for computer-based assessment of …

Programming style guidelines and automated coding style analyzers have been developed
without a solid experimental or theoretical basis. In this paper we make a distinction …

In this paper we describe a tool to build software systems which replace the role of the
examiner during a typical Italian academic exam in technical/scientific subjects. Such …

The authors examine in detail McKesson's order entry and distribution system, Economost,
which is one of the most widely cited strategic information systems, with wide acceptance; …

Programming style guidelines, style analyzers, and code formatters have been developed
without a solid empirical or theoretical basis. In this paper we provide:(1) a justification for …

A prettyprinter is a program that formats a source code listing to illuminate its structure and
thereby improve its readability. A prettyprinter replaces white spaces (new lines, returns …