Modular Semantics and Logics of Classes

Reus, Bernhard (2003) Modular Semantics and Logics of Classes. In: Baaz, Matthias and Makowsky, Johann A. (eds.) Computer Science Logic. Lecture Notes in Computer Science, 2803 . Springer Berlin / Heidelberg, pp. 456-469. ISBN 9783540408017

[img] PDF
Restricted to SRO admin only

Download (176kB)

Abstract

The semantics of class-based languages can be defined in terms of objects only [1,7,8] if classes are viewed as objects with a constructor method. One obtains a store in which method closures are held together with field values. Such a store is also called ldquohigher-orderrdquo and does not come for free [13]. It is much harder to prove properties of such stores and as a consequence (soundness of) programming logics can become rather contrived (see [2]). A simpler semantics separates methods from the object store [4,12]. But again, there is a drawback. Once the semantics of a package of classes is computed it is impossible to add other classes in a compositional way. Modular reasoning principles are therefore not obtainable either. In this paper we improve a simple class-based semantics to deal with extensions compositionally and derive modular reasoning principles for a logic of classes. The domain theoretic reasoning principle behind this is fixpoint induction. Modularity is obtained by endowing the denotations of classes with an additional parameter that accounts for those classes added ldquolater at linkage time.rdquo Local class definitions (inner classes) are possible but for dynamic class-loading one cannot do without higher-order store.

Item Type: Book Section
Schools and Departments: School of Engineering and Informatics > Informatics
Subjects: Q Science > QA Mathematics > QA0075 Electronic computers. Computer science
Depositing User: Chris Keene
Date Deposited: 26 Feb 2008
Last Modified: 30 Nov 2012 16:51
URI: http://sro.sussex.ac.uk/id/eprint/1421
Google Scholar:13 Citations

View download statistics for this item

📧 Request an update