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 条
  • [21] Game Semantics for Interface Middleweight Java']Java
    Murawski, Andrzej S.
    Tzevelekos, Nikos
    ACM SIGPLAN NOTICES, 2014, 49 (01) : 517 - 528
  • [22] Expressions in Java']Java: Essential, Prevalent, Neglected?
    Chiodini, Luca
    Santos, Igor Moreno
    Hauswirth, Matthias
    PROCEEDINGS OF THE 2022 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON SPLASH-E, SPLASH-E 2022, 2022, : 41 - 51
  • [23] The indolent lambdification of Java']Java Understanding the support for lambda expressions in the Java']Java ecosystem
    Petrulio, Fernando
    Sawant, Anand Ashok
    Bacchelli, Alberto
    EMPIRICAL SOFTWARE ENGINEERING, 2021, 26 (06)
  • [24] A Refactoring Catalog for Lambda Expressions in Java']Java
    Teixeira Junior, Janio Elias
    Valdivieso Tobar Neto, Heres Edison
    de Faveri, Cristiano
    Saccol, Deise de Brum
    Vizzotto, Juliana Kaizer
    Piveta, Eduardo Kessler
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2019, 29 (06) : 791 - 818
  • [25] A formal framework for Java']Java separate compilation
    Ancona, D
    Lagorio, G
    Zucca, E
    ECOOP 2002 - OBJECT-ORIENTED PROGRAMMING, 2002, 2374 : 609 - 635
  • [26] Formal Modelling and Analysis of Predictable Java']Java
    Bogholm, Thomas
    Hansen, Rene R.
    Ravn, Anders P.
    Sondergaard, Hans
    Thomsen, Bent
    ERCIM NEWS, 2010, (81): : 52 - 53
  • [27] Formal specification and verification of Java']Java refactorings
    Garrido, Alejandra
    Meseguer, Jose
    SIXTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2006, : 165 - +
  • [28] Java']Java Bug Fixed with Formal Methods
    不详
    ERCIM NEWS, 2015, (101): : 55 - 55
  • [29] A formal specification of Java']Java™ class leading
    Qian, ZY
    Goldberg, A
    Coglio, A
    ACM SIGPLAN NOTICES, 2000, 35 (10) : 325 - 336
  • [30] On the semantics of java']javaspaces
    Busi, N
    Gorrieri, R
    Zavattaro, G
    FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS IV, 2000, 49 : 3 - 19
12345