DAVIDSON SEMANTIC PROGRAM

被引：0
|
作者：
STICH, SP [1 ]
机构：
[1] UNIV MICHIGAN,ANN ARBOR,MI 48109
来源：
CANADIAN JOURNAL OF PHILOSOPHY | 1976年 / 6卷 / 02期
关键词：
D O I：
暂无
中图分类号：
B [哲学、宗教];
学科分类号：
01 ; 0101 ;
摘要：
引用
收藏
页码：201 / 227
页数：27
相关论文
共 50 条
  • [41] Parameterized Test Using Formal Semantic of Program Language
    Xu, Bo
    Cui, Jie
    Zhu, Zhankui
    Du, Chenglie
    COMPUTER AND INFORMATION TECHNOLOGY, 2014, 519-520 : 387 - +
  • [42] APPROXIMATE REASONING ABOUT THE SEMANTIC EFFECTS OF PROGRAM CHANGES
    MORICONI, M
    WINKLER, TC
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (09) : 980 - 992
  • [43] Automatic Program Repair as Semantic Suggestions: An Empirical Study
    Campos, Diogo
    Restivo, Andre
    Ferreira, Hugo Sereno
    Ramos, Afonso
    2021 14TH IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2021), 2021, : 217 - 228
  • [44] Malicious behavior analysis method based on program semantic
    Institute of Computer Science and Technology, Peking University, Beijing 100871, China
    Beijing Daxue Xuebao Ziran Kexue Ban, 2008, 4 (537-542):
  • [45] Program semantic analysis model for code reuse detection
    Guo, Xi
    Wang, Pan
    Tongxin Xuebao/Journal on Communications, 2024, 45 (12): : 179 - 196
  • [46] Improved program slicing algorithm pplied to instruction semantic
    Fang, Xia
    Yin, Qing
    Jiang, Liehui
    Zhou, Bo
    2008 PROCEEDINGS OF INFORMATION TECHNOLOGY AND ENVIRONMENTAL SYSTEM SCIENCES: ITESS 2008, VOL 4, 2008, : 560 - 563
  • [47] An experimental evaluation of continuous semantic zooming in program visualization
    Summers, KL
    Goldsmith, TE
    Kubica, S
    Caudell, TP
    INFOVIS 2002: IEEE SYMPOSIUM ON INFORMATION VISUALIZATION 2003, PROCEEDINGS, 2003, : 155 - 162
  • [48] Coming to our senses: A naturalist program for semantic localism
    Miscevic, N
    BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 1997, 48 (04): : 603 - 605
  • [49] CURONTO: A Semantic Model of the Curriculum for Program Assessment and Improvement
    Alfaries, Auhood
    Al-Yahya, Maha
    Chorfi, Henda
    George, Remya P.
    INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION, 2014, 30 (05) : 1083 - 1094
  • [50] Efficient and Standardised Program Analyses using Semantic Methodologies
    Selvaraj, Ganesh
    Lutteroth, Christof
    Weber, Gerald
    2021 IEEE 15TH INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING (ICSC 2021), 2021, : 80 - 81
12345