Filters








371,659 Hits in 2.2 sec

Class-local object invariants

K. Rustan M. Leino, Angela Wallenburg
2008 Proceedings of the 1st conference on India software engineering conference - ISEC '08  
The correctness of object-oriented programs relies on object invariants.  ...  This paper describes a sound methodology for flexibly changing data locally in object structures, supporting programming patterns that occur frequently in practice.  ...  LOCAL FIELDS AND INVARIANTS We consider a Java-like object-oriented language with singleinheritance classes. The class hierarchy is rooted at a built-in class called object .  ... 
doi:10.1145/1342211.1342225 dblp:conf/indiaSE/LeinoW08 fatcat:yvhsuhuykzgltlbnz35qnjstyy

Detecting and Localizing 3D Object Classes using Viewpoint Invariant Reference Frames

Matthew Toews, Tal Arbel
2007 2007 IEEE 11th International Conference on Computer Vision  
In this paper, we investigate detection and localization of general 3D object classes by relating local scale-invariant features to a viewpoint invariant reference frame.  ...  The learned optimal reference frame is centrally located with respect to the 3D object class and to image features in a given view, thereby minimizing reference frame localization error as predicted by  ...  First, we compare the viewpoint invariant and multi-view representations in terms of object class detection and localization performance.  ... 
doi:10.1109/iccv.2007.4408832 dblp:conf/iccv/ToewsA07 fatcat:si4cwyi24bfhpjoltdr45bnuwu

Inferring Object Invariants

Bor-Yuh Evan Chang, K. Rustan, M. Leino
2005 Electronical Notes in Theoretical Computer Science  
For precision, the analysis makes use of a recent methodology for object invariants, which makes explicit when each object's invariant is supposed to hold (valid objects) or is allowed to be violated.  ...  The variables stored in the heap are the fields of objects (i.e., fields of class instances). This paper proposes a technique for inferring properties of such object-oriented programs.  ...  At each statement pack o as T , the program asserts the object invariant for class T to hold for the object o, so we incorporate any properties inferred about the fields of o into the local analysis.  ... 
doi:10.1016/j.entcs.2005.01.023 fatcat:gj3da52cmjh33piw7mioh42ejy

Verification of Object Oriented Programs Using Class Invariants [chapter]

Kees Huizing, Ruurd Kuiper
2000 Lecture Notes in Computer Science  
The proof system is inspired on Meyer's system of class invariants [12] and remedies its unsoundness, which is already recognized by Meyer.  ...  A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance.  ...  Changing the value of an object in class B may invalidate the invariant of an object in class A.  ... 
doi:10.1007/3-540-46428-x_15 fatcat:5h4b42nwarh6loqdzzivmj7awe

Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects

Johan Dovland, Einar Broch Johnsen, Olaf Owe
2008 Electronical Notes in Theoretical Computer Science  
Models based on concurrent objects communicating by asynchronous method calls, have been proposed to combine object orientation and distribution in a more satisfactory way.  ...  Current object-oriented approaches to distributed programs may be criticized in several respects.  ...  The global invariant of such a system of dynamically created objects may be constructed from the local invariants of the involved objects: The global invariant I * of a system with global history H is  ... 
doi:10.1016/j.entcs.2008.04.084 fatcat:ufs3twaahzby3phq3xrgmpkobe

Reasoning About Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems [chapter]

Olaf Owe
2016 Lecture Notes in Computer Science  
The overall aim of this paper is to develop a formal framework for modular reasoning about classes and inheritance, supporting unrestricted reuse of code, as well as of specifications.  ...  The main contribution is a Hoarestyle logic supporting free reuse, worked out for a high-level concurrent object-oriented language.  ...  Problems related to object patters have been studied recently. Designs with collaborating objects pose problems with respect to modular reasoning about common (non-local) invariants.  ... 
doi:10.1007/978-3-319-33693-0_14 fatcat:hqnuhqyubvd67o7l5d2kaph3pi

Observable behavior of distributed systems: Component reasoning for concurrent objects

Crystal Chang Din, Johan Dovland, Einar Broch Johnsen, Olaf Owe
2012 The Journal of Logic and Algebraic Programming  
In this paper, a proof system for partial correctness reasoning is established based on communication histories and class invariants.  ...  This language, based on concurrent objects communicating by asynchronous method calls, avoids some difficulties of mainstream object-oriented programming languages related to compositionality and aliasing  ...  A class is specified by a class invariant over the class attributes and the local communication history.  ... 
doi:10.1016/j.jlap.2012.01.003 fatcat:wbgg34uasbag3gx4k527oagf4y

A Flexible Framework for Program Evolution and Verification

Olaf Owe, Jia-Chun Lin, Elahe Fazeldehkordi
2019 Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development  
We focus on the setting of concurrent and object-oriented programs, and consider a core high-level modeling language supporting active, concurrent objects.  ...  = this.m(x) is equivalent to the local call v := C : m(x) where C is the class of this object.  ...  The local history h of a class/interface is the time sequence of communications events seen by this object.  ... 
doi:10.5220/0007690301790191 dblp:conf/modelsward/OweLF19 fatcat:wq2ncvzxfbco5pprl25tpyglxi

Comparative study of global invariant descriptors for object recognition

Bruno Emile
2008 Journal of Electronic Imaging (JEI)  
The article compares them in a global and in a local context (computed on the neighborhood of a pixel). The SIFT descriptor is used as reference for local invariant descriptors.  ...  The COIL-100 image database that presents a same object translated, rotated and scaled is used to test the invariance face to geometrical transforms.  ...  The class of an unknown object can correspond to the majority class after the voting (MV) of each key-point [8] . We then computed Local Zernike Majority Voting (LZMV).  ... 
doi:10.1117/1.2912071 fatcat:j3kicvroenetzhvjmmj2fxawtu

Detection, Localization, and Sex Classification of Faces from Arbitrary Viewpoints and under Occlusion

M. Toews, T. Arbel
2009 IEEE Transactions on Pattern Analysis and Machine Intelligence  
All three tasks are embedded in a general viewpoint-invariant model of object class appearance derived from local scale-invariant features, where features are probabilistically quantified in terms of their  ...  An appearance model is first learned for the object class, after which a Bayesian classifier is trained to identify the model features indicative of visual traits.  ...  The object class invariant (OCI) model of Toews and Arbel [7] requires only localization of object class instances for learning, no explicit viewpoint information.  ... 
doi:10.1109/tpami.2008.233 pmid:19574619 fatcat:nl2hmpuly5crzbrh2bozzs7e2u

Orientation Invariant Features for Multiclass Object Recognition [chapter]

Michael Villamizar, Alberto Sanfeliu, Juan Andrade-Cetto
2006 Lecture Notes in Computer Science  
We present a framework for object recognition based on simple scale and orientation invariant local features that when combined with a hierarchical multiclass boosting mechanism produce robust classifiers  ...  for a limited number of object classes in cluttered backgrounds.  ...  Unfortunately, such system is not invariant to object rotation or occlusions.  ... 
doi:10.1007/11892755_68 fatcat:s5ub7cnfyfcujdba3l5gfc326u

A Tool-Supported Proof System for Multithreaded Java [chapter]

Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen
2003 Lecture Notes in Computer Science  
Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread classes.  ...  between objects.  ...  Its definition covers also invariance of the class invariants.  ... 
doi:10.1007/978-3-540-39656-7_1 fatcat:jbc3bve22nhozmrgsocboayaty

3D Object Recognition using Multiclass Support Vector Machine-K-Nearest Neighbor Supported by Local and Global Feature

J.
2012 Journal of Computer Science  
For feature extraction, Hu's Moment invariant is computed for global feature to represent the image and Hessian-Laplace detector and PCA-SIFT descriptor as local feature for the given image.  ...  The proposed method is evolved from the two promising methods available for object recognition. Approach: The proposed method uses both the local and global features extracted from the images.  ...  Zernike moment invariants are used to find the pose of the object and Hu moment invariant is used to identify the object.  ... 
doi:10.3844/jcssp.2012.1380.1388 fatcat:hneczsrl6ffp5jcjsw5gq7zp5i

Inductive Proof Outlines for Monitors in Java [chapter]

Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen
2003 Lecture Notes in Computer Science  
Java, however, integrates features of a class-based object-oriented language with the notion of multi-threading, where multiple threads can concurrently execute and exchange information via shared instance  ...  Furthermore, each object can act as a monitor to assure mutual exclusion or to coordinate between threads.  ...  Besides that, for each class c, a local assertion I c called class invariant specifies invariant properties of instances of c in terms of its instance variables.  ... 
doi:10.1007/978-3-540-39958-2_11 fatcat:yjywveqbw5g3nhzqrx7ryvmjty

An assertion-based proof system for multithreaded Java

Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen
2005 Theoretical Computer Science  
Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread classes, allowing for a multithreaded flow of control.  ...  between objects.  ...  Its definition covers also invariance of the class invariants.  ... 
doi:10.1016/j.tcs.2004.09.019 fatcat:ufizvhzegfhtzkti4zfqjbfm5q
« Previous Showing results 1 — 15 out of 371,659 results