Semantic subtyping for objects and classes

被引：0
|
作者：
Dardha, Ornela [1 ]
Gorla, Daniele [1 ]
Varacca, Daniele [2 ]
机构：
[1] Dipartimento di Informatica, Sapienza Università di Roma, Italy
[2] PPS - Université Paris Diderot, CNRS, France
来源：
CEUR Workshop Proceedings | 2010年 / 692卷
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Object oriented programming
引用
收藏
相关论文
共 50 条
  • [1] Semantic Subtyping for Objects and Classes
    Dardha, Ornela
    Gorla, Daniele
    Varacca, Daniele
    COMPUTER JOURNAL, 2017, 60 (05): : 636 - 656
  • [2] Semantic subtyping for objects and classes
    Dardha, Ornela
    Gorla, Daniele
    Varacca, Daniele
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013, 7892 LNCS : 66 - 82
  • [3] Semantic Subtyping for Objects and Classes
    Dardha, Ornela
    Gorla, Daniele
    Varacca, Daniele
    FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, FMOODS/FORTE 2013, 2013, 7892 : 66 - 82
  • [4] From classes to objects via subtyping
    Rémy, D
    PROGRAMMING LANGUAGES AND SYSTEMS, 1998, 1381 : 200 - 220
  • [5] Semantic transfers and classes of objects
    Massoussi, Taoufik
    SUVREMENA LINGVISTIKA, 2009, 35 (67): : 45 - 68
  • [6] Semantic subtyping
    Frisch, A
    Castagna, G
    Benzaken, V
    17TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2002, : 137 - 146
  • [7] Semantic subtyping for the π-calculus
    Castagna, G
    De Nicola, R
    Varacca, D
    LICS 2005: 20TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE - PROCEEDINGS, 2005, : 92 - 101
  • [8] Safe and Flexible Objects with Subtyping
    Bettini, Lorenzo
    Bono, Viviana
    Likavec, Silvia
    JOURNAL OF OBJECT TECHNOLOGY, 2005, 4 (10):
  • [9] Semantic subtyping with an SMT solver
    Bierman, Gavin M.
    Gordon, Andrew D.
    Hritcu, Catalin
    Langworthy, David
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2012, 22 : 31 - 105
  • [10] A gentle introduction to semantic subtyping
    Castagna, G
    Frisch, A
    AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2005, 3580 : 30 - 34
12345