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 条
  • [21] On Subtyping-Relation Completeness, with an Application to Iso-Recursive Types
    Ligatti, Jay
    Blackburn, Jeremy
    Nachtigal, Michael
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2017, 39 (01):
  • [22] Flexible object hierarchies in polymake - (Extended abstract)
    Gawrilow, Ewgenij
    Joswig, Michael
    MATHEMATICAL SOFTWARE-ICMS 2006, PROCEEDINGS, 2006, 4151 : 219 - 221
  • [23] Recursive subtyping for all
    Zhou, Litao
    Zhou, Yaoda
    Wan, Qianyong
    Oliveira, Bruno c. d. s.
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2025, 35
  • [24] Imperative programming with dependent types (Extended abstract)
    Xi, HW
    15TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2000, : 375 - 387
  • [25] Security types preserving compilation - (Extended abstract)
    Barthe, G
    Basu, A
    Rezk, T
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2004, 2937 : 2 - 15
  • [26] Subtyping recursive games
    Chroboczek, J
    TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2001, 2044 : 61 - 75
  • [27] Recursive Subtyping for All
    Zhou, Litao
    Zhou, Yaoda
    Oliveira, Bruno C. D. S.
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (POPL): : 1396 - 1425
  • [28] Recursive subtyping revealed
    Gapeyev, V
    Levin, MY
    Pierce, BC
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2002, 12 (06) : 511 - 548
  • [29] Extended Abstract: Formal Description of a Pattern for a Recursive Process of Recognition
    Puerto, Eduard
    Aguilar, Jose
    2016 IEEE LATIN AMERICAN CONFERENCE ON COMPUTATIONAL INTELLIGENCE (LA-CCI), 2016,
  • [30] Recursive Rules with Aggregation: A Simple Unified Semantics (Extended Abstract)
    Liu, Yanhong A.
    Stoller, Scott D.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (325):
12345