SEMANTIC PROGRAM STRUCTURES

被引:0
|
作者
REDKO, VN
机构
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
引用
收藏
页码:1 / 14
页数:14
相关论文
共 50 条
  • [21] Converting the syntactic structures of hierarchical data to their semantic structures
    Lim, SJ
    Ng, YK
    INFORMATION ORGANIZATION AND DATABASES: FOUNDATIONS OF DATA ORGANIZATION, 2000, 579 : 343 - 355
  • [22] COGNITIVE STRUCTURES AND SEMANTIC DEEP STRUCTURES - CASE OF THE INSTRUMENTAL
    SCHLESINGER, IM
    JOURNAL OF LINGUISTICS, 1979, 15 (02) : 307 - 324
  • [23] Blended, Precise Semantic Program Embeddings
    Wang, Ke
    Su, Zhendong
    PROCEEDINGS OF THE 41ST ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '20), 2020, : 121 - 134
  • [24] Semantic Program Alignment for Equivalence Checking
    Churchill, Berkeley
    Padon, Oded
    Sharma, Rahul
    Aiken, Alex
    PROCEEDINGS OF THE 40TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '19), 2019, : 1027 - 1040
  • [25] Being For: Evaluating the Semantic Program of Expressivism
    Eriksson, John
    PHILOSOPHICAL QUARTERLY, 2010, 60 (241): : 878 - U9
  • [26] Being For: Evaluating the Semantic Program of Expressivism
    Briggs, Rachael
    AUSTRALASIAN JOURNAL OF PHILOSOPHY, 2009, 87 (04) : 690 - 691
  • [27] On the problem of describing semantic structures and semantic activity in formal mathematics and logic
    Shiyan, Taras A.
    FILOSOFSKII ZHURNAL, 2023, 16 (02): : 26 - 32
  • [28] USE OF SEMANTIC STRUCTURES IN INFORMATION SYSTEMS
    SABLE, JD
    IRE TRANSACTIONS ON ENGINEERING WRITING AND SPEECH, 1961, EWS4 (03): : 83 - &
  • [29] Structures of semantic networks: Similarities between semantic networks and brain networks
    Tang, Lu
    Zhang, Yong Guang
    Fu, Xue
    PROCEEDINGS OF THE FIFTH IEEE INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS, VOLS 1 AND 2, 2006, : 356 - 361
  • [30] Hierarchical Semantic Structures for Medical NLP
    Taira, Ricky K.
    Arnold, Corey W.
    MEDINFO 2013: PROCEEDINGS OF THE 14TH WORLD CONGRESS ON MEDICAL AND HEALTH INFORMATICS, PTS 1 AND 2, 2013, 192 : 1194 - 1194