David Robson's scientific contributions
What is this page?
This page lists the scientific contributions of an author, who either does not have a ResearchGate profile, or has not yet added these contributions to their profile.
It was automatically created by ResearchGate to create a record of this author's body of work. We create such pages to advance our goal of creating and maintaining the most comprehensive scientific repository possible. In doing so, we process publicly available (personal) data relating to the author as a member of the scientific community.
If you're a ResearchGate member, you can follow this page to keep up with this author's work.
If you are this author, and you don't want us to display this page anymore, please let us know.
It was automatically created by ResearchGate to create a record of this author's body of work. We create such pages to advance our goal of creating and maintaining the most comprehensive scientific repository possible. In doing so, we process publicly available (personal) data relating to the author as a member of the scientific community.
If you're a ResearchGate member, you can follow this page to keep up with this author's work.
If you are this author, and you don't want us to display this page anymore, please let us know.
Publications (6)
"Reprinted with corrections, Mayt 1983" Incluye índice
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. ...
Reference: Rise of the Graphics Processor
... 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. ...
![[object Object]](https://i1.rgstatic.net/ii/profile.image/273684048904193-1442262770075_Q64/Adele-Goldberg.jpg)
... 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). ...
