This paper presents the results of a trace-based study of object and reference properties on a subset of the DaCapo benchmark suite with the intent to uncover facts about programs that can be leveraged by type systems, compilers and run-times. In particular, we focus on aliasing, and immutability, based on their recent application in the literature. To facilitate analyses like this one, we prev...

Subjects and objects are arguments of verbs. They show either homogeneous or heterogeneous properties, with respect to time. The subject of sleep and the subject of fall are homogeneous and heterogeneous, respectively. In this research, we develop a novel analysis of the organization of arguments of various types of verbs. We argue that heterogeneous arguments are hosted in two levels of Verb P...

The doctrine of divine simplicity, the doctrine that God has no physical or metaphysical complexity whatsoever, is not a doctrine designed to induce immediate philosophical acquiescence. There are severe questions about its coherence. And even if those questions can be answered satisfactorily in favour of the doctrine, there remains the question why anyone should accept it. Thomas V. Morris rai...

This paper contains a series of easy constructions and observations relating to the Lascar group and to simple theories. 1 In x1 we review basic model theoretic ideas, relating mostly to model completion and saturated models. We do so in order to introduce a framework very slightly more general than the usual rst-order one that will be useful to us, and that we hope may be useful in the future....