Inferring Class Invariants in object-oriented languages via abstract interpretation

Channel:
Microsoft Research
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=W1d5TYmiTUE


Duration: 1:06:44
238 views
2

In this talk we present a static analysis, based on abstract interpretation, for the automatic inference of class invariants in Object-oriented languages. Intuitively, a class invariant is a property valid for each instantiation of a class, before and after the execution of any class method. Class invariants are important for the modular verification, the optimization and the specification of object-oriented languages. We present a generic approach for the inference of class invariants that is sound (in that it overapproximates the class semantics), generic (in that any abstract domain can be plugged-in), and modular (with respect to the instantiation context and inheritance). We will illustrate our results with several examples and using an incremental approach: we start by showing how to infer class invariants for a minimal object-oriented language, then we will consider aliasing, inheritance and mutual recursive classes.



Other Videos By Microsoft Research


2016-09-05A Virtualization Architecture for Wireless Network Cards
2016-09-05The Devious Logic of Metaphors
2016-09-05The Cricket Indoor Location System
2016-09-05Cords: 3D Curve Primitives that Wrap Around Geometry
2016-09-05Scalability and Extensibility in the Denali Virtual Machine Monitor [1/5]
2016-09-05Efficient and Robust Routing in the Presence of Competing Interests
2016-09-05Load Management and Fault-Tolerance in a Distributed Stream Processing System [1/2]
2016-09-05The Case for Technology for Developing Regions
2016-09-05Constructing Broad-Coverage Knowledge Repositories by Collecting Knowledge from Volunteers
2016-09-05Controlling Overlap in Content-Oriented XML Retrieval
2016-09-05Inferring Class Invariants in object-oriented languages via abstract interpretation
2016-09-05Technology Design to Foster Collaboration: A Multidisciplinary Approach
2016-09-05Towards Concept-Based Text Understanding and Mining
2016-09-05Component Programming with Object-Oriented Signals
2016-09-05On the Capacity of Information Networks
2016-09-05One-forms and Tutte-like Embeddings
2016-09-05Personal Passion and Professional Excellence ΓÇô You canΓÇÖt have one without the other!
2016-09-05Social Mobile Applications, Location, Privacy and the Capital of Nevada [1/16]
2016-09-05Search Engines Considered Harmful: In Search of an Unbiased Web Ranking
2016-09-05Science Friction: Where the Known Meets the Unknown
2016-09-05Concave utility functions on finite sets


Tags:
microsoft research