David Robson's scientific contributions

Publications (6)

Article
"Reprinted with corrections, Mayt 1983" Incluye índice
Article
The notion of filtering template as a method for implementing software interfaces between a user and complex computing environment is introduced. Two types of interfaces are introduced. The first is the points of interaction between two parts of a computer system: it is the set of things that one part will do for another. The second type of interfa...

Citations

... In this paper, we demonstrate that test amplification is feasible for dynamically typed languages by exploiting profiling information readily available from executing the test suite. As a proof of concept, we present SMALL-AMP which amplifies test cases for the dynamically typed language Pharo (Black et al. 2010;Bergel et al. 2013); a variant of Smalltalk (Goldberg and Robson 1983). We argue that Pharo is a good vehicle for such a feasibility study, because it is purely object-oriented and it comes with a powerful program analysis infrastructure based on metalinks (Costiou et al. 2020). ...
... An important development from this evolution of text processing was the ability to display the output from multiple applications simultaneously in different regions of the display, termed windows [21], [22]. This was the beginning of the graphics equivalent of CPU multiprogramming where multiple applications could not only time-share the CPU and space-share system memory but also time-share the graphics processor and space-share the display output. ...
... 10 shows the methods for sending and receiving integers. Sending and receiving the other types of general messages, oat and string, are also implemented analogously. ...
... FL is a dynamically-typed language, in which a type is considered to be a set of normalform expressions. 135 Agesen et al. have developed a type inference algorithm [22] for Self, a dynamically-typed language inspired by Smalltalk [23], but based on cloning objects rather than instantiating classes, and supporting the possibility for dynamic and multiple inheritance. This is the first algorithm to consider dynamic and multiple inheritance. ...
... We remind the reader with the stateless trait composition algebra (Section 3.2). Then, since Pharo's kernel is derived from Smalltalk's one, to ease understanding, we explain and sketch a simplified version of the original Smalltalk kernel that does not include traits [GR89] (Section 3.3). Using the first example, we present our modular stateless trait implementation (Section 3.4). ...