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] Joint tracking and classification of extended object under unknown measurement noise
    Shao, Teng
    Li, Ping
    SIGNAL IMAGE AND VIDEO PROCESSING, 2025, 19 (06)
  • [22] Trajectory PMB Filters for Extended Object Tracking Using Belief Propagation
    Xia, Yuxuan
    Garcia-Fernandez, Angel F.
    Meyer, Florian
    Williams, Jason L.
    Granstrom, Karl
    Svensson, Lennart
    IEEE TRANSACTIONS ON AEROSPACE AND ELECTRONIC SYSTEMS, 2023, 59 (06) : 9312 - 9331
  • [23] A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem (Extended Abstract)
    Tassel, Pierre
    Rbaia, Mohamed
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, 364 : 159 - 162
  • [24] Estimation of road friction coefficient using extended Kalman filter, recursive least square, and neural network
    Zareian, Arash
    Azadi, Shahram
    Kazemi, Reza
    PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART K-JOURNAL OF MULTI-BODY DYNAMICS, 2016, 230 (01) : 52 - 68
  • [25] Pedestrian tracking using Velodyne data - stochastic optimization for extended object tracking
    Granstrom, Karl
    Reuter, Stephan
    Fatemi, Maryam
    Svensson, Lennart
    2017 28TH IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV 2017), 2017, : 39 - 46
  • [26] Overview of Bayesian sequential Monte Carlo methods for group and extended object tracking
    Mihaylova, Lyudmila
    Carmi, Avishy Y.
    Septier, Francois
    Gning, Amadou
    Pang, Sze Kim
    Godsill, Simon
    DIGITAL SIGNAL PROCESSING, 2014, 25 : 1 - 16
  • [27] Measurement Combination Estimator for Multisensor Extended Object Tracking Using Random Matrix
    Zhang, Xiaoxiao
    Lan, Jian
    IEEE TRANSACTIONS ON AEROSPACE AND ELECTRONIC SYSTEMS, 2024, 60 (01) : 698 - 715
  • [28] Saliency detection based on background seeds by object proposals and extended random walk
    Jian, Muwei
    Zhao, Runxia
    Sun, Xin
    Luo, Hanjiang
    Zhang, Wenyin
    Zhang, Huaxiang
    Dong, Junyu
    Yin, Yilong
    Lam, Kin-Man
    JOURNAL OF VISUAL COMMUNICATION AND IMAGE REPRESENTATION, 2018, 57 : 202 - 211
  • [29] Extended Object Tracking Using Spatially Resolved Micro-Doppler Signatures
    Kamann, Alexander
    Steinhauser, Dagmar
    Gruson, Frank
    Brandmeier, Thomas
    Schwarz, Ulrich T.
    IEEE TRANSACTIONS ON INTELLIGENT VEHICLES, 2021, 6 (03): : 440 - 449
  • [30] Comparison of entity with fuzzy data types in fuzzy object-oriented databases
    Yan, Li
    Ma, Z. M.
    INTEGRATED COMPUTER-AIDED ENGINEERING, 2012, 19 (02) : 199 - 212
12345