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 条
  • [41] A formal specification in JML of Java']Java security package
    Agarwal, Poonam
    Rubio-Medrano, Carlos E.
    Cheon, Yoonsik
    Teller, Patricia. J.
    ADVANCES AND INNOVATIONS IN SYSTEMS, COMPUTING SCIENCES AND SOFTWARE ENGINEERING, 2007, : 363 - 368
  • [42] Special issue: Formal techniques for Java']Java programs
    Eisenbach, S
    Leavens, GT
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2001, 13 (13): : 1121 - 1123
  • [43] Formal Specifications for Java']Java's Synchronisation Classes
    Amighi, Afshin
    Blom, Stefan
    Huisman, Marieke
    Mostowski, Wojciech
    Zaharieva-Stojanovski, Marina
    2014 22ND EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP 2014), 2014, : 725 - 733
  • [44] JFORTES: Java']Java FORmal unit TESt generation
    Bentes, Larissa
    Rocha, Herbert
    Valentin, Eduardo
    Barreto, Raimundo
    2016 VI BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEMS ENGINEERING (SBESC 2016), 2016, : 16 - 23
  • [45] Formal techniques for Java']Java-like programs
    Boyland, John
    Clarke, Dave
    Leavens, Gary
    Logozzo, Francesco
    Poetzsch-Heffter, Arnd
    OBJECT-ORIENTED TECHNOLOGY: ECOOP 2007 WORKSHOP READER, 2008, 4906 : 99 - +
  • [46] Animating formal specifications using Java']Java applets
    Lakos, C
    Lewis, G
    TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS (TOOLS 25) - PROCEEDINGS, 1998, : 196 - 209
  • [47] DynAlloy as a formal method for the analysis of Java']Java programs
    Galeotti, Juan P.
    Frias, Marcelo F.
    SOFTWARE ENGINEERING TECHNIQUES: DESIGN FOR QUALITY, 2006, 227 : 249 - +
  • [48] Formal techniques for Java']Java-like programs
    Eisenbach, S
    Leavens, GT
    Müller, P
    Poetzsch-Heffter, A
    Poll, E
    OBJECT-ORIENTED TECHNOLOGY, 2003, 3013 : 62 - 71
  • [49] Formal modelling of Java']Java GUI event handling
    Chen, J
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 359 - 370
  • [50] A formal framework for the Java']Java bytecode language and verifier
    Freund, SN
    Mitchell, JC
    ACM SIGPLAN NOTICES, 1999, 34 (10) : 147 - 166
12345