Semantic Subtyping for Objects and Classes | Zendy

Ornela Dardha | Zendy; Daniele Gorla | Zendy; Daniele Varacca | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Semantic Subtyping for Objects and Classes

Author(s) -

Ornela Dardha,

Daniele Gorla,

Daniele Varacca

Publication year - 2016

Publication title -

the computer journal

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.319

H-Index - 64

eISSN - 1460-2067

pISSN - 0010-4620

DOI - 10.1093/comjnl/bxw080

Subject(s) - subtyping , computer science , programming language , relation (database) , set (abstract data type) , java , semantics (computer science) , theoretical computer science , data mining

In this paper, we propose an integration of structural subtyping with boolean connectives and semantic subtyping to define a Java-like programming language that exploits the benefits of both techniques. Semantic subtyping is an approach for defining subtyping relation based on set-theoretic models, rather than syntactic rules. On the one hand, this approach involves some non-trivial mathematical m...

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