James Leslie Keedy

Learn More
Traditionally, instruction sets have included separate instructions for manipulating different data types, such as integers and real numbers. A long-discussed but seldom-implemented alternative has been tagging, where the type information is stored adjacent to the data itself, rather than being inferred from the instructions. Over the years, several(More)
Inheritance mechanisms are used to express many different programming concepts. In this paper we analyse these inheritance concepts to determine the requirements for an inheritance mechanism which is to support the concepts well. On the basis of this analysis we identify weaknesses in current mechanisms, particularly in the areas of modelling and signature(More)
Almost no object oriented programming languages offer distinct language constructs for the definition of types and their implementations; instead these are united into a single class concept. Similarly object oriented programming languages do not normally distinguish between object types, which may be independently instantiated, and attribute types, which(More)