Formal Semantics of Java Expressions and Statements

被引：0
|
作者：
A. V. Zamulin
机构：
[1] Ershov Institute of Informatics Systems,Siberian Division, Russian Academy of Sciences
来源：
Programming and Computer Software | 2003年 / 29卷
关键词：
Operating System; Artificial Intelligence; Formal Semantic; Java Expression;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：259 / 270
页数：11
相关论文
共 50 条
  • [21] On the semantics of java']javaspaces
    Busi, N
    Gorrieri, R
    Zavattaro, G
    [J]. FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS IV, 2000, 49 : 3 - 19
  • [22] A formal semantics for SPKI
    Howell, J
    Kotz, D
    [J]. COMPUTER SECURITY - ESORICS 2000, PROCEEDINGS, 2000, 1895 : 140 - 158
  • [23] Distributional formal semantics
    Venhuizen, Noortje J.
    Hendriks, Petra
    Crocker, Matthew W.
    Brouwer, Harm
    [J]. INFORMATION AND COMPUTATION, 2022, 287
  • [24] FORMAL SEMANTICS AND LEXICON
    SANDRI, G
    [J]. LINGUA E STILE, 1984, 19 (01) : 73 - 100
  • [25] ON SEMANTICS OF FORMAL REPRESENTATION
    DREHER, JH
    [J]. PHILOSOPHIA, 1978, 8 (01) : 71 - 78
  • [26] REALISM AND FORMAL SEMANTICS
    PEARCE, D
    RANTALA, V
    [J]. SYNTHESE, 1982, 52 (01) : 39 - 53
  • [27] A FORMAL SEMANTICS FOR SQL
    MEIRA, S
    MOTZ, R
    TEPEDINO, F
    [J]. INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1990, 34 (1-2) : 43 - 63
  • [28] Formal semantics and ontology
    Kusliy, P. S.
    [J]. EPISTEMOLOGY & PHILOSOPHY OF SCIENCE-EPISTEMOLOGIYA I FILOSOFIYA NAUKI, 2012, 33 (03): : 62 - 67
  • [29] AN IMPLEMENTATION OF FORMAL SEMANTICS
    DOMINICY, M
    VANDERHOEFT, C
    [J]. FRANCAIS MODERNE, 1991, 59 (01): : 36 - 55
  • [30] Elements of Formal Semantics
    Keenan, Edward L.
    [J]. JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2018, 27 (02) : 175 - 192
12345