On denotational semantics of smalltalk - 80

被引：0
作者：
机构：
来源：
Ruan Jian Xue Bao | / 7卷 / 385期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
[41]   Denotational Semantics for Symbolic Execution [J].
Voogd, Erik ;
Klovstad, Asmund Aqissiaq Arild ;
Johnsen, Einar Broch .
THEORETICAL ASPECTS OF COMPUTING, ICTAC 2023, 2023, 14446 :370-387
[42]   FROM OPERATIONAL TO DENOTATIONAL SEMANTICS [J].
SMITH, SF .
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 598 :54-76
[43]   Denotational semantics of object specification [J].
Sernadas, A ;
Sernadas, C ;
Caleiro, C .
ACTA INFORMATICA, 1998, 35 (09) :729-773
[44]   Disentangling Denotational Semantics Definitions [J].
Tirelo, Fabio ;
Bigonha, Roberto S. ;
Saraiva, Joao .
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2008, 14 (21) :3592-3607
[45]   DENOTATIONAL SEMANTICS OF NETS WITH NONDETERMINISM [J].
KOK, JN .
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 213 :237-249
[46]   ON DENOTATIONAL VERSUS PREDICATIVE SEMANTICS [J].
BROY, M ;
LENGAUER, C .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1991, 42 (01) :1-29
[47]   Denotational semantics for JS']JSD [J].
Yeung, WL .
ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, :72-80
[48]   A Denotational Semantics for Dynamic Architectures [J].
Marmsoler, Diego .
2019 13TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2019), 2019, :136-143
[49]   Denotational semantics of ANSI C [J].
Papaspyrou, NS .
COMPUTER STANDARDS & INTERFACES, 2001, 23 (03) :169-185
[50]   A denotational semantics for equilibrium logic [J].
Aguado, Felicidad ;
Cabalar, Pedro ;
Pearce, David ;
Perez, Gilberto ;
Vidal, Concepcion .
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2015, 15 :620-634
12345