D.S. Andersen, L.H. Pedersen, H. H uttel and J. Kleist. Objects, types and modal logics. In Foundations of Object-Oriented Languages (FOOL), 1997. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Objects and Classes in Algol-like Languages - Reddy (1998) (12 citations) (Correct)
....state based semantics, it does not handle the state encapsulation issues of objects adequately. The de ciencies of the global state set up have been discussed in a number of papers [39, 51, 58] Work on speci cation of stateful objects includes [6, 34, 35, 36] in addressing subtyping issues and [3, 7] in addressing self reference issues. A number of recent papers [1, 8, 11, 19, 18] discuss object oriented type systems for languages with side e ects, but this work does not address reasoning principles for programs. A related direction is that of object encodings which might be thought of as ....
D. S. Andersen, L. H. Pedersen, H. Huttel, and J. Kleist. Objects, types and modal logics. In FOOL 4, http://www.cs.indiana.edu/hyplan/pierce/fool/, 1997. Electronic proceedings.
Towards model checking OCL - Distefano, Katoen, Rensink (2000) (2 citations) (Correct)
.... systems have mainly based on Hoarestyle logics that concentrate on verifying pre and postconditions and or invariants [1, 4, 14, 18] Temporal logics for object oriented systems have been previously defined by, amongst others, 3, 15, 21] A modal logic for the object calculus is presented in [2]. Verification techniques based on other techniques have been proposed in [13] To our knowledge, this paper presents the first attempt towards embedding OCL in a temporal logic setting. 2 2 The definition of BOTL In the following, we assume a set VName of variable names ; a set MName of method ....
D.S. Andersen, L.H. Pedersen, H. Huttel and J. Kleist. Objects, types and modal logics. In Foundations of Object-Oriented Languages (FOOL), 1997.
On A Temporal Logic For Object-Based Systems - Distefano, Katoen, Rensink (2000) (19 citations) (Correct)
....in an axiomatic style, a temporal logic for reasoning about object classes and their instances. The logic supports two levels of reasoning: local reasoning related to a single object and global reasoning related to a community of objects. A modal logic for an object calculus is presented in [2]. Verification techniques based on other techniques have been proposed in [12] Alternative formalisations of OCL have been considered in [9, 11, 19] To our knowledge, this paper presents the first attempt towards embedding OCL in a temporal logic setting. Organisation of the paper. Section 2 ....
.... (true) and ff (false) # list denotes the type of lists of # , with elements [ the empty list) and h : w (for the list with head element h and tail w) For the sake of readability, we will often write lists as comma separated sequences enclosed by square brackets; e.g. 1 : 2 : is written [1, 2], whereas [ 1] 2] denotes (1 : 2 : C ref denotes the type of objects of class C . C.M ref denotes the type of method occurrences (discussed in more detail below) of the method M of class C . Let us specify the data values of these types more precisely. Among others we ....
[Article contains additional citation context not shown here]
D.S. Andersen, L.H. Pedersen, H. H uttel and J. Kleist. Objects, types and modal logics. In Foundations of Object-Oriented Languages (FOOL), 1997.
Objects and Classes in Algol-like Languages - Reddy (1998) (12 citations) (Correct)
....recent work along this line is [12] Fisher and Mitchell [20] also relate classes to data abstraction. This work assumes a functional setting for objects, but some of the ideas deal with state. Work on specification of stateful objects includes [5, 28, 29, 30] in addressing subtyping issues and [3, 6] in addressing self reference issues. The major developments in the research on Algol like languages are collected in [43] Tennent [58] gives a gentle introduction to the concepts as of 1994. 2 The language IA The language IA is an extension of Idealized Algol with classes. Thus, it is a ....
Andersen, D. S., Pedersen, L. H., H uttel, H., and Kleist, J. Objects, types and modal logics. In FOOL 4 (http://www.cs.indiana.edu/hyplan/pierce/fool/, 1997), Electronic proceedings.
On a Temporal Logic for Object-Based Systems - Distefano, Katoen, Rensink (19 citations) (Correct)
No context found.
D.S. Andersen, L.H. Pedersen, H. H uttel and J. Kleist. Objects, types and modal logics. In Foundations of Object-Oriented Languages (FOOL), 1997.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC