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 条
  • [1] Formal semantics of Java']Java expressions and statements
    Zamulin, AV
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 2003, 29 (05) : 259 - 269
  • [2] On a formal semantics of tabular expressions
    Janicki, R
    Khedri, R
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2001, 39 (2-3) : 189 - 213
  • [3] Semantics of the iterative statements: a formal approach
    Enjalbert, Patrice
    [J]. LINGUISTICAE INVESTIGATIONES, 2015, 38 (01): : 133 - 182
  • [4] Formal semantics for the Java modeling language
    Bruns, Daniel
    [J]. Informatik-Spektrum, 2012, 35 (01) : 45 - 49
  • [5] A formal executable semantics of the Java']JavaCard platform
    Barthe, G
    Dufay, G
    Jakubiec, L
    Serpette, B
    de Sousa, SM
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2001, 2028 : 302 - 319
  • [6] KJS']JS: A Complete Formal Semantics of Java']JavaScript
    Park, Daejun
    Stefanescu, Andrei
    Rosu, Grigore
    [J]. ACM SIGPLAN NOTICES, 2015, 50 (06) : 346 - 356
  • [7] Formal Semantics of Operators of Normal Function Tables in Tabular Expressions
    Zhou, Wenbo
    Liu, Lei
    Zhang, Peng
    Lü, Shuai
    [J]. Huanan Ligong Daxue Xuebao/Journal of South China University of Technology (Natural Science), 2019, 47 (02): : 85 - 91
  • [8] OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness
    María Victoria Cengarle
    Alexander Knapp
    [J]. Software & Systems Modeling, 2004, 3 (1) : 9 - 30
  • [9] SEMANTICS OF PSYCHOPATHOLOGICAL STATEMENTS
    ZOILA, AF
    [J]. ANNALES MEDICO-PSYCHOLOGIQUES, 1978, 136 (01): : 29 - 47
  • [10] What is formal in formal semantics?
    Wolenski, J
    [J]. DIALECTICA, 2004, 58 (03) : 427 - 436
12345