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 条
  • [31] Java']Java Jr.: Fully abstract trace semantics for a core Java']Java language
    Jeffrey, A
    Rathke, J
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, 3444 : 423 - 438
  • [32] Altering Java']Java semantics via bytecode manipulation
    Tanter, E
    Ségura-Devillechaise, M
    Noyé, J
    Piquer, J
    GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING 2002, PROCEEDINGS, 2002, 2487 : 283 - 298
  • [33] Operational semantics of the Java']Java Card Virtual Machine
    Siveroni, IA
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2004, 58 (1-2): : 3 - 25
  • [34] A Monadic Semantics for Quantum Computing in Featherweight Java']Java
    Feitosa, Samuel da Silva
    Vizzotto, Juliana Kaizer
    Piveta, Eduardo Kessler
    Du Bois, Andre Rauber
    PROGRAMMING LANGUAGES (SBLP 2016), 2016, 9889 : 31 - 45
  • [35] Specifying multithreaded Java']Java semantics for program verification
    Roychoudhury, A
    Mitra, T
    ICSE 2002: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2002, : 489 - 499
  • [36] Parsing expressions in Java
    Berg, Cliff
    Dr. Dobb's Journal, 1999, 24 (01):
  • [37] An operational semantics of Java']Java 2 access control
    Karjoth, G
    13TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2000, : 224 - 232
  • [38] Fast Numerical Evaluation for Symbolic Expressions in Java']Java
    Liu, Yueming
    Zhang, Peng
    Qiu, Meikang
    2015 IEEE 17TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS, 2015 IEEE 7TH INTERNATIONAL SYMPOSIUM ON CYBERSPACE SAFETY AND SECURITY, AND 2015 IEEE 12TH INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS (ICESS), 2015, : 599 - 604
  • [39] Decompiling Boolean Expressions from Java']Java™ Bytecode
    Nanda, Mangala Gowri
    Arun-Kumar, S.
    PROCEEDINGS OF THE 9TH INDIA SOFTWARE ENGINEERING CONFERENCE, 2016, : 59 - 69
  • [40] Formal methods in context:: Security and Java']Java card
    Bolignano, D
    Le Métayer, D
    Loiseaux, C
    JAVA ON SMART CARDS: PROGRAMMING AND SECURITY, 2001, 2041 : 1 - 5
12345