DAVIDSON SEMANTIC PROGRAM

被引：0

作者：

STICH, SP ^{[1
]}

机构：

[1] UNIV MICHIGAN,ANN ARBOR,MI 48109

来源：

关键词：

D O I：

暂无

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

引用

页码：201 / 227

页数：27

共 50 条

[11] SEMANTIC PROGRAM STRUCTURES.
Red'ko, V.N.
Programming and Computer Software (English Translation of Programmirovanie), 1981, 7 (01): : 1 - 14
[12] 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
[13] 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
[14] Being For: Evaluating the Semantic Program of Expressivism
Briggs, Rachael
AUSTRALASIAN JOURNAL OF PHILOSOPHY, 2009, 87 (04) : 690 - 691
[15] Being For: Evaluating the Semantic Program of Expressivism
Eriksson, John
PHILOSOPHICAL QUARTERLY, 2010, 60 (241): : 878 - U9
[16] Davidson on value and objectivity (Donald Davidson)
Lillehammer, Hallvard
DIALECTICA, 2007, 61 (02) : 203 - 217
[17] DAVIDSON,PAUL AND THE AUSTRIANS - REPLY TO DAVIDSON
RUNDE, J
CRITICAL REVIEW, 1993, 7 (2-3) : 381 - 397
[18] DAVIDSON,BRUCE PHOTOGRAPHS - DAVIDSON,B
MCDARRAH, FW
NEW YORK TIMES BOOK REVIEW, 1979, 84 (13): : 13 - +
[19] DAVIDSON,BRUCE PHOTOGRAPHS - DAVIDSON,B
MCFADDEN, S
ART IN AMERICA, 1980, 68 (02): : 29 - +
[20] THE USE OF A SEMANTIC DIFFERENTIAL IN PROGRAM-EVALUATION
GARRISON, M
AMERICAN JOURNAL OF MENTAL DEFICIENCY, 1965, 69 (05): : 692 - 696