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 条
  • [21] Static Type Analysis of Pattern Matching by Abstract Interpretation
    Ferrara, Pietro
    FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, PROCEEDINGS, 2010, 6117 : 186 - 200
  • [22] Adaptive neuro fuzzy inference system for chart pattern matching in financial time series
    Wan, Yuqing
    Si, Yain-Whar
    APPLIED SOFT COMPUTING, 2017, 57 : 1 - 18
  • [23] Efficient processing of ordered XML twig pattern matching based on extended Dewey
    Jin-hua Jiang
    Ke Chen
    Xiao-yan Li
    Gang Chen
    Li-dan Shou
    Journal of Zhejiang University-SCIENCE A, 2009, 10 : 1769 - 1783
  • [24] Efficient processing of ordered XML twig pattern matching based on extended Dewey
    Jiang, Jin-hua
    Chen, Ke
    Li, Xiao-yan
    Chen, Gang
    Shou, Li-dan
    JOURNAL OF ZHEJIANG UNIVERSITY-SCIENCE A, 2009, 10 (12): : 1769 - 1783
  • [25] Intermediate Representation of Programs with Type Specification Based on Pattern Matching
    V. A. Vasenin
    M. A. Krivchikov
    Programming and Computer Software, 2020, 46 : 57 - 66
  • [26] Intermediate Representation of Programs with Type Specification Based on Pattern Matching
    Vasenin, V. A.
    Krivchikov, M. A.
    PROGRAMMING AND COMPUTER SOFTWARE, 2020, 46 (01) : 57 - 66
  • [27] A Boyer-Moore type algorithm for compressed pattern matching
    Shibata, Y
    Matsumoto, T
    Takeda, M
    Shinohara, A
    Arikawa, S
    COMBINATORIAL PATTERN MATCHING, 2000, 1848 : 181 - 194
  • [28] A Boyer-Moore Type Algorithm for Timed Pattern Matching
    Waga, Masaki
    Akazaki, Takumi
    Hasuo, Ichiro
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2016, 2016, 9884 : 121 - 139
  • [29] MATCHING TREATMENT TO ALCOHOLISM SUBTYPES
    BEUTLER, LE
    JACOB, T
    YOST, E
    PATTERSON, KM
    SHOHAM, V
    ROHRBAUGH, M
    PSYCHOTHERAPY, 1993, 30 (03) : 463 - 472
  • [30] Pattern matching
    Navarro, G
    JOURNAL OF APPLIED STATISTICS, 2004, 31 (08) : 925 - 949
12345