On denotational semantics of smalltalk - 80

被引：0
作者：
机构：
来源：
Ruan Jian Xue Bao | / 7卷 / 385期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
[31]   OPERATIONAL AND DENOTATIONAL SEMANTICS OF PROLOG [J].
ARBAB, B ;
BERRY, DM .
JOURNAL OF LOGIC PROGRAMMING, 1987, 4 (04) :309-329
[32]   Denotational semantics for timed testing [J].
Diaz, LFL ;
Escrig, DD .
TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 :368-382
[33]   DENOTATIONAL SEMANTICS OF QUERY LANGUAGES [J].
SUBIETA, K .
INFORMATION SYSTEMS, 1987, 12 (01) :69-82
[34]   A MODULAR APPROACH TO DENOTATIONAL SEMANTICS [J].
MOGGI, E .
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 530 :138-139
[35]   Denotational semantics of hybrid automata [J].
Edalat, Abbas ;
Pattinson, Dirk .
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2007, 73 (1-2) :3-21
[36]   LOGICAL SEMANTICS AND DENOTATIONAL SEMANTICS OF PROLOG INTERPRETERS [J].
DELAHAYE, JP .
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1988, 22 (01) :3-42
[37]   Denotational semantics for thread algebra [J].
Vu, Thuy Duong .
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2008, 74 (02) :94-111
[38]   A denotational semantics of defeasible logic [J].
Maher, MJ .
COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 :209-222
[39]   DENOTATIONAL SEMANTICS OF PROGRAMMING LANGUAGES [J].
TENNENT, RD .
COMMUNICATIONS OF THE ACM, 1976, 19 (08) :437-453
[40]   Towards a denotational semantics for TimeML [J].
Katz, Graham .
ANNOTATING, EXTRACTING AND REASONING ABOUT TIME AND EVENTS, 2007, 4795 :88-106
12345