Type inference with extended pattern matching and subtypes

被引：0
|
作者：
Jategaonkar, Lalita A. [1 ]
Mitchell, John C. [1 ]
机构：
[1] Massachusetts Inst of Technology, Cambridge, United States
来源：
Fundamenta Informaticae | 1993年 / 19卷 / 1-2期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：127 / 165
相关论文
共 50 条
  • [41] Efficient processing of ordered XML twig pattern matching based on extended Dewey附视频
    Jinhua JIANG Ke CHEN Xiaoyan LI Gang CHEN Lidan SHOU School of Computer Science and Technology Zhejiang University Hangzhou China
    Journal of Zhejiang University Science A(An International Applied Physics & Engineering Journal), 2009, (12) : 1769 - 1783
  • [42] Efficient Processing of XML Twig Pattern Matching based on Extended Region Encoding Labeling Scheme
    Ma Shao-long
    Wang Xin-jun
    Zhang Feng
    Bian Ji
    2009 IEEE INTERNATIONAL SYMPOSIUM ON IT IN MEDICINE & EDUCATION, VOLS 1 AND 2, PROCEEDINGS, 2009, : 1286 - 1291
  • [43] Secure extended wildcard pattern matching protocol from cut-and-choose oblivious transfer
    Wei, Xiaochao
    Xu, Lin
    Zhao, Minghao
    Wang, Hao
    INFORMATION SCIENCES, 2020, 529 : 132 - 140
  • [44] Efficient multi-attribute pattern matching using the extended Aho-Corasick method
    Ando, K
    Okada, M
    Shishibori, M
    Aoe, J
    SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 3936 - 3941
  • [45] Inference to the hypothesis of extended cognition
    Sprevak, Mark
    STUDIES IN HISTORY AND PHILOSOPHY OF SCIENCE, 2010, 41 (04): : 353 - 362
  • [46] GENETIC RELATION OF EXTENDED BLACK TO WILD TYPE PLUMAGE PATTERN IN THE FOWL
    KIMBALL, E
    POULTRY SCIENCE, 1952, 31 (01) : 73 - 79
  • [47] Cryptographic Pattern Matching
    Nielsen, Christoffer Rosenkilde
    Nielson, Flemming
    Nielson, Hanne Riis
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 168 (SPEC. ISS.) : 91 - 107
  • [48] Pattern matching in hypertext
    Amir, A
    Lewenstein, M
    Lewenstein, N
    JOURNAL OF ALGORITHMS-COGNITION INFORMATICS AND LOGIC, 2000, 35 (01): : 82 - 99
  • [49] Intelligent pattern matching
    Nedjah, N
    Mourelle, LM
    6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL V, PROCEEDINGS: COMPUTER SCI I, 2002, : 157 - 162
  • [50] Asynchronous pattern matching
    Amir, Amihood
    COMBINATORIAL PATTERN MATCHING, PROCEEDINGS, 2006, 4009 : 1 - 10
12345