An Approach to Behavioral Subtyping Based on Static Analysis | Zendy

Francesco Logozzo | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

An Approach to Behavioral Subtyping Based on Static Analysis

Author(s) -

Francesco Logozzo

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.02.074

Subject(s) - subtyping , subclass , class (philosophy) , modular design , relation (database) , programming language , computer science , modularity (biology) , characterization (materials science) , domain (mathematical analysis) , mathematics , theoretical computer science , artificial intelligence , data mining , mathematical analysis , genetics , materials science , antibody , immunology , biology , nanotechnology

In mainstream object oriented languages the subclass relation is defined in terms of subtyping, i.e. a class A is a subclass of B if the type of A is a subtype of B. In this paper this notion is extended to consider arbitrary class properties obtained by a modular static analysis of the class. In such a setting, the subclass relation boils down to the order relation on the abstract domain used for the analysis of the classes. Furthermore we show how this approach yields a more semantic characterization of class hierarchies and how it can be used for an effective modular analysis of polymorphic code

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research