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 条
  • [41] Extended Object Tracking and Classification based on Recursive Joint Decision and Estimation
    Cao, Wen
    Lan, Jian
    Li, X. Rong
    2013 16TH INTERNATIONAL CONFERENCE ON INFORMATION FUSION (FUSION), 2013, : 1670 - 1677
  • [42] Recursive Noise Adaptive Extended Object Tracking by Variational Bayesian Approximation
    Li, Zhifei
    Zhang, Jianyun
    Wang, Jiegui
    Zhou, Qingsong
    IEEE ACCESS, 2019, 7 : 151168 - 151179
  • [43] Revisiting Iso-Recursive Subtyping
    Zhou, Yaoda
    Zhao, Jinxu
    Oliveira, Bruno C. D. S.
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2022, 44 (04):
  • [44] Revisiting Iso-Recursive Subtyping
    Zhou, Yaoda
    Oliveira, Bruno C. D. S.
    Zhao, Jinxu
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (OOPSLA):
  • [45] Recursive subtyping revealed - Functional pearl
    Gapeyev, V
    Levin, MY
    Pierce, BC
    ACM SIGPLAN NOTICES, 2000, 35 (09) : 221 - 231
  • [46] Mutually Iso-Recursive Subtyping
    Rossberg, Andreas
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (OOPSLA):
  • [47] Subtyping union types
    Vouillon, R
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2004, 3210 : 415 - 429
  • [48] Subtyping dependent types
    Aspinall, D
    Compagnoni, A
    11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 86 - 97
  • [49] Subtyping dependent types
    Aspinall, D
    Compagnoni, A
    THEORETICAL COMPUTER SCIENCE, 2001, 266 (1-2) : 273 - 309
  • [50] Phantom types and subtyping
    Fluet, Matthew
    Pucella, Riccardo
    IFIP Advances in Information and Communication Technology, 2002, 96 : 448 - 460
12345