Typological parameters of genericity

Different languages employ different morphosyntactic devices for expressing genericity. And, of course, they also make use of different morphosyntactic and semantic or pragmatic cues which may contribute to the interpretation of a sentence as generic rather than episodic. [...] We will advance the strong hypo thesis that it is a fundamental property of lexical elements in natural language that they are neutral with respect to different modes of reference or non-reference. That is, we reject the idea that a certain use of a lexical element, e.g. a use which allows reference to particular spatio-temporally bounded objects in the world, should be linguistically prior to all other possible uses, e.g. to generic and non-specific uses. From this it follows that we do not consider generic uses as derived from non-generic uses as it is occasionally assumed in the literature. Rather, we regard these two possibilities of use as equivalent alternative uses of lexical elements. The typological differences to be noted therefore concern the formal and semantic relationship of generic and non-generic uses to each other; they do not pertain to the question of whether lexical elements are predetermined for one of these two uses. Even supposing we found a language where generic uses are always zero-marked and identical to lexical sterns, we would still not assume that lexical elements in this language primarily have a generic use from which the non-generic uses are derived. (Incidentally, none of the languages examined, not even Vietnamese, meets this criterion.

Applying inspection to object-oriented software

The benefits of the object-oriented paradigmare widely cited. At the same time, inspection is deemed to be the most cost-effective means of detecting defects in software products. Why then, is there no published experience, let alone quantitative data, on the application of inspection to object-oriented systems? We describe the facilities of the object-oriented paradigm and the issues that these raise when inspecting object-oriented code. Several problems are caused by the disparity between the static code structure and its dynamic runtime behaviour. The large number of small methods in object-oriented systems can also cause problems. We then go on to describe three areas which may help mitigate problems found. Firstly, the use of various programming methods may assist in making object-oriented code easier to inspect. Secondly, improved program documentation can help the inspector understand the code which is under inspection. Finally, tool support can help the inspector to analyse the dynamic behaviour of the code. We conclude that while both the object-oriented paradigm and inspection provide excellent benefits on their own, combining the two may be a difficult exercise, requiring extensive support if it is to be successful

Introduction

Introduction to genericity in the nominal, verbal and sentential domain

Genericity aspects in gravitational collapse to black holes and naked singularities

We investigate here the genericity and stability aspects for naked singularities and black holes that arise as the final states for a complete gravitational collapse of a spherical massive matter cloud. The form of the matter considered is a general Type I matter field, which includes most of the physically reasonable matter fields such as dust, perfect fluids and such other physically interesting forms of matter widely used in gravitation theory. We first study here in some detail the effects of small pressure perturbations in an otherwise pressure-free collapse scenario, and examine how a collapse evolution that was going to the black hole endstate would be modified and go to a naked singularity, once small pressures are introduced in the initial data. This allows us to understand the distribution of black holes and naked singularities in the initial data space. Collapse is examined in terms of the evolutions allowed by Einstein equations, under suitable physical conditions and as evolving from a regular initial data. We then show that both black holes and naked singularities are generic outcomes of a complete collapse, when genericity is defined in a suitable sense in an appropriate space.Comment: 24 pages, 6 figures, some changes in text and figures to match the version accepted for publication by IJMP