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 条
  • [21] SemFix: Program Repair via Semantic Analysis
    Hoang Duong Thien Nguyen
    Qi, Dawei
    Roychoudhury, Abhik
    Chandra, Satish
    PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013), 2013, : 772 - 781
  • [22] DAVIDSON,BRUCE PHOTOGRAPHS - DAVIDSON,B
    MCFADDEN, S
    ART IN AMERICA, 1980, 68 (02): : 29 - +
  • [23] Semantic Determinism and Functional Logic Program Properties
    Miguel Cleva, Jose
    Lopez-Fraguas, Francisco J.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 174 (01) : 3 - 15
  • [24] Semantic Program Repair Using a Reference Implementation
    Mechtaev, Sergey
    Manh-Dung Nguyen
    Noller, Yannic
    Grunske, Lars
    Roychoudhury, Abhik
    PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2018, : 129 - 139
  • [25] THE EFFECT OF SEMANTIC COMPLEXITY ON THE COMPREHENSION OF PROGRAM MODULES
    MYNATT, BT
    INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1984, 21 (02): : 91 - 103
  • [26] Semantic Web Approach to Academic Program Assessment
    Memon, Qurban A.
    Khoja, Shakeel A.
    INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION, 2009, 25 (05) : 1020 - 1028
  • [27] Semantic analysis of program initialisation in genetic programming
    Beadle, Lawrence
    Johnson, Colin G.
    GENETIC PROGRAMMING AND EVOLVABLE MACHINES, 2009, 10 (03) : 307 - 337
  • [28] A Semantic Model of Program Faults Analysis (ISSTA)
    Offutt, A. J.
    Software Engineering Notes, 21 (03):
  • [29] Semantic program visualization with attachable display classes
    Shimomura, T. (simomura@is.tokushima-u.ac.jp), 1600, Acta Press (35):
  • [30] PSYCHOBIOLOGY OF CONSCIOUSNESS - DAVIDSON,JM, DAVIDSON,RJ
    CRANACH, MV
    PSYCHOLOGIE-SCHWEIZERISCHE ZEITSCHRIFT FUR PSYCHOLOGIE UND IHRE ANDWENDUNGEN, 1980, 39 (04): : 349 - 349
12345