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 条
  • [11] Formal analysis of Java']Java programs in Java']JavaFAN
    Farzan, A
    Chen, F
    Meseguer, J
    Rosu, G
    COMPUTER AIDED VERIFICATION, 2004, 3114 : 501 - 505
  • [12] A formal introduction to the compilation of Java']Java
    Diehl, S
    SOFTWARE-PRACTICE & EXPERIENCE, 1998, 28 (03): : 297 - 327
  • [13] Formal techniques for Java']Java programs
    Drossopoulou, S
    Eisenbach, S
    Jacobs, B
    Leavens, GT
    Müller, P
    Poetzsch-Heffter, A
    OBJECT-ORIENTED TECHNOLOGY, PROCEEDINGS, 2000, 1964 : 41 - 54
  • [14] Formal techniques for Java']Java programs
    Jacobs, B
    Leavens, GT
    Müller, P
    Poetzsch-Heffter, A
    OBJECT-ORIENTED TECHNOLOGY, 1999, 1743 : 97 - 115
  • [15] Formal Techniques for Java']Java Programs
    Leavens, GT
    Drossopoulou, S
    Eisenbach, S
    Poetzsch-Heffter, A
    Poll, E
    OBJECT-ORIENTED TECHNOLOGY, PROCEEDINGS, 2002, 2323 : 30 - 40
  • [16] A Formal Type System for Java']Java
    Debbabi, Mourad
    Fourati, Myriam
    JOURNAL OF OBJECT TECHNOLOGY, 2007, 6 (08): : 117 - 184
  • [17] Game Semantics for Interface Middleweight Java']Java
    Murawski, Andrzej S.
    Tzevelekos, Nikos
    JOURNAL OF THE ACM, 2021, 68 (01)
  • [18] Extending operational semantics of the Java']Java bytecode
    Czarnik, Patryk
    Schubert, Aleksy
    TRUSTWORTHY GLOBAL COMPUTING, 2008, 4912 : 57 - 72
  • [19] A Java']Java Inspired Semantics for Transactions in SOC
    Bocchi, Laura
    Tuosto, Emilio
    TRUSTWORTHY GLOBAL COMPUTING, 2010, 6084 : 120 - 134
  • [20] Structural Operational Semantics of Packages in Java']Java
    Al Farook, Abdullah
    Arefin, Mohammad Shamsul
    Hoque, Md. Moshiul
    2008 11TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY: ICCIT 2008, VOLS 1 AND 2, 2008, : 563 - 568
12345