A monad for basic Java']Java semantics

被引：0
|
作者：
Jacobs, B [1 ]
Poll, E [1 ]
机构：
[1] Univ Nijmegen, Dept Comp Sci, NL-6500 GL Nijmegen, Netherlands
来源：
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS | 2000年 / 1816卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper describes the role of a computational monad in the denotational semantics of sequential Java and investigates some of its properties. This denotational semantics is an abstraction of the one used for the verification of (sequential) Java programs using proof tools, see [11,15].
引用
收藏
页码：150 / 164
页数：15
相关论文
共 50 条
  • [41] Research on the Use of Java']Java Annotation Metadata Mechanism in Basic Program
    Yuan, Hui
    Zhao, Lei
    [J]. PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON EDUCATION, MANAGEMENT, INFORMATION AND MECHANICAL ENGINEERING (EMIM 2017), 2017, 76 : 1148 - 1151
  • [42] Mapping the UML2 Semantics of Associations to a Java']Java Code Generation Model
    Gessenharter, Dominik
    [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2008, 5301 : 813 - 827
  • [43] Canonical Method Names for Java']Java Using Implementation Semantics to Identify Synonymous Verbs
    Host, Einar W.
    Ostvold, Bjarte M.
    [J]. SOFTWARE LANGUAGE ENGINEERING, 2011, 6563 : 226 - 245
  • [44] Typing and semantics of asynchronous arrows in Java']JavaScript
    Fritz, Eric
    Zhao, Tian
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2017, 141 : 1 - 39
  • [45] Java']Java, Java']Java everywhere
    不详
    [J]. DATAMATION, 1996, 42 (11): : 11 - 11
  • [46] A formal executable semantics of the Java']JavaCard platform
    Barthe, G
    Dufay, G
    Jakubiec, L
    Serpette, B
    de Sousa, SM
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2001, 2028 : 302 - 319
  • [47] SOME BASIC ENGINEERING PROPERTIES OF HALLOYSITE AND ALLOPHANE CLAYS IN JAVA']JAVA, INDONESIA
    WESLEY, LD
    [J]. GEOTECHNIQUE, 1973, 23 (04): : 471 - 494
  • [48] SOME BASIC ENGINEERING PROPERTIES OF HALLOYSITE AND ALLOPHANE CLAYS IN JAVA']JAVA, INDONESIA
    WESLEY, LD
    [J]. GEOTECHNIQUE, 1975, 25 (02): : 417 - 423
  • [49] Detection of Java']Java Basic Thread Misuses Based on Static Event Analysis
    Cui, Baoquan
    Wang, Miaomiao
    Zhang, Chi
    Yan, Jiwei
    Yan, Jun
    Zhang, Jian
    [J]. 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE, 2023, : 1049 - 1060
  • [50] The Implementation of Basic Information Security Policy Management Framework Using Java']Java
    Zhou Xuenong
    [J]. ELECTRONIC COMMERCE AND INFORMATION ENGINEERING IN CHINA: PROCEEDINGS OF THE 2ND INTERNATIONAL SYMPOSIUM ON ELECTRONIC BUSINESS AND INFORMATION SYSTEM, 2010, : 79 - 82
12345