Formal semantics of Java']Java expressions and statements

被引：1
|
作者：
Zamulin, AV [1 ]
机构：
[1] Russian Acad Sci, Ershov Inst Informat Syts, Siberian Div, Novosibirsk 630090, Russia
来源：
PROGRAMMING AND COMPUTER SOFTWARE | 2003年 / 29卷 / 05期
关键词：
Operating System; Artificial Intelligence; Formal Semantic; Java Expression;
D O I：
10.1023/A:1025785124539
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：259 / 269
页数：11
相关论文
共 50 条
  • [1] Formal Semantics of Java Expressions and Statements
    A. V. Zamulin
    Programming and Computer Software, 2003, 29 : 259 - 270
  • [2] Formal semantics for the Java modeling language
    Bruns, Daniel
    Informatik-Spektrum, 2012, 35 (01) : 45 - 49
  • [3] A formal executable semantics of the Java']JavaCard platform
    Barthe, G
    Dufay, G
    Jakubiec, L
    Serpette, B
    de Sousa, SM
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2001, 2028 : 302 - 319
  • [4] K-Java']Java: A Complete Semantics of Java']Java
    Bogdanas, Denis
    Rosu, Grigore
    ACM SIGPLAN NOTICES, 2015, 50 (01) : 445 - 456
  • [5] KJS']JS: A Complete Formal Semantics of Java']JavaScript
    Park, Daejun
    Stefanescu, Andrei
    Rosu, Grigore
    ACM SIGPLAN NOTICES, 2015, 50 (06) : 346 - 356
  • [6] Parsing expressions in Java']Java
    Ponsard, C
    DR DOBBS JOURNAL, 1999, 24 (03): : 10 - 10
  • [7] Parsing expressions in Java']Java
    Berg, C
    DR DOBBS JOURNAL, 1999, 24 (01): : 50 - +
  • [8] Coalgebras and monads in the semantics of Java']Java
    Jacobs, B
    Poll, E
    THEORETICAL COMPUTER SCIENCE, 2003, 291 (03) : 329 - 349
  • [9] A monad for basic Java']Java semantics
    Jacobs, B
    Poll, E
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2000, 1816 : 150 - 164
  • [10] Dynamic semantics of Java']Java bytecode
    Bertelsen, P
    FUTURE GENERATION COMPUTER SYSTEMS, 2000, 16 (07) : 841 - 850
12345