Subtyping object and recursive types logically (Extended abstract)

被引：0
|
作者：
van Bakel, S
de'Liguoro, U
机构：
[1] Univ London Imperial Coll Sci Technol & Med, Dept Comp, London SW7 2BZ, England
[2] Univ Turin, Dipartimento Informat, I-10149 Turin, Italy
来源：
THEORETICAL COMPUTER SCIENCE, PROCEEDINGS | 2005年 / 3701卷
关键词：
INHERITANCE; MODEL;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Subtyping in first order object calculi is studied with respect to the logical semantics obtained by identifying terms that satisfy the same set of predicates, as formalized through an assignment system. It is shown that equality in the full first order zeta-calculus is modelled by this notion, which on turn is included in a Morris style contextual equivalence.
引用
收藏
页码：66 / 80
页数：15
相关论文
共 50 条
  • [1] A Decidable Subtyping Logic for Intersection and Union Types
    Liquori, Luigi
    Stolze, Claude
    TOPICS IN THEORETICAL COMPUTER SCIENCE, TTCS 2017, 2017, 10608 : 74 - 90
  • [2] AN ALGEBRAIC VIEW OF INHERITANCE AND SUBTYPING IN OBJECT ORIENTED PROGRAMMING
    PRESICCE, FP
    PIERANTONIO, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 550 : 364 - 379
  • [3] The Round Complexity of Distributed Sorting [Extended Abstract]
    Patt-Shamir, Boaz
    Teplitsky, Marat
    PODC 11: PROCEEDINGS OF THE 2011 ACM SYMPOSIUM PRINCIPLES OF DISTRIBUTED COMPUTING, 2011, : 249 - 255
  • [4] Salient Object Detection via Recursive Sparse Representation
    Zhang, Yongjun
    Wang, Xiang
    Xie, Xunwei
    Li, Yansheng
    REMOTE SENSING, 2018, 10 (04)
  • [5] Multiple object tracking with extended occlusions
    Lukavsky, Jiri
    Oksama, Lauri
    Dechterenko, Filip
    QUARTERLY JOURNAL OF EXPERIMENTAL PSYCHOLOGY, 2023, 76 (09): : 2094 - 2106
  • [6] Salient object detection using recursive regional feature clustering
    Oh, Kanghan
    Lee, Myungeun
    Lee, Yura
    Kirna, Soohyung
    INFORMATION SCIENCES, 2017, 387 : 1 - 18
  • [7] Extended Object Tracking Based on Support Functions and Extended Gaussian Images
    Sun, Lifan
    Li, X. Rong
    Lan, Jian
    2013 16TH INTERNATIONAL CONFERENCE ON INFORMATION FUSION (FUSION), 2013, : 1526 - 1533
  • [8] Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
    Birkedal, Lars
    Stovring, Kristian
    Thamsborg, Jacob
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2009, 5504 : 456 - 470
  • [9] Denotational semantics of recursive types in synthetic guarded domain theory
    Mogelberg, Rasmus E.
    Paviotti, Marco
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2019, 29 (03) : 465 - 510
  • [10] Realisability semantics of parametric polymorphism, general references and recursive types
    Birkedal, Lars
    Stovring, Kristian
    Thamsborg, Jacob
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2010, 20 (04) : 655 - 703
12345