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 条
  • [31] Semantics and Analyses for Java']JavaScript and the Web
    Krishnamurthi, Shriram
    [J]. STATIC ANALYSIS, SAS 2012, 2012, 7460 : 4 - 4
  • [32] A compositional operational semantics for Java']JavaMT
    Abrahám, E
    de Boer, RS
    de Roever, WP
    Steffen, M
    [J]. VERIFICATION: THEORY AND PRACTICE: ESSAYS DEDICATED TO ZHOAR MANNA ON THE OCCASION OF HIS 64TH BIRTHDAY, 2003, 2772 : 290 - 303
  • [33] Formal Semantics of Java Expressions and Statements
    A. V. Zamulin
    [J]. Programming and Computer Software, 2003, 29 : 259 - 270
  • [34] Automatic validation of transformation rules for Java']Java verification against a rewriting semantics
    Ahrendt, W
    Roth, A
    Sasse, R
    [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3835 : 412 - 426
  • [35] Real-Time Java']Java scoped memory: Design patterns and semantics
    Pizlo, F
    Fox, JM
    Holmes, D
    Vitek, J
    [J]. SEVENTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2004, : 101 - 110
  • [36] Semantics-driven extraction of timed automata from Java']Java programs
    Liva, Giovanni
    Khan, Muhammad Taimoor
    Pinzger, Martin
    [J]. EMPIRICAL SOFTWARE ENGINEERING, 2019, 24 (05) : 3114 - 3150
  • [37] Java']Java, Java']Java, Java']Java and more
    Makulowich, JS
    [J]. DATABASE, 1997, 20 (01): : 74 - 75
  • [38] Software Transactional Memory in Java']Java on Clojure: A Basic Performance Analysis
    Tomeu, A. J.
    Salguero, A. G.
    Capel, M. I.
    [J]. IEEE LATIN AMERICA TRANSACTIONS, 2018, 16 (07) : 2079 - 2084
  • [39] JFIX: Semantics-Based Repair of Java']Java Programs via Symbolic PathFinder
    Le, Xuan-Bach D.
    Duc-Hiep Chu
    Lo, David
    Le Goues, Claire
    Visser, Willem
    [J]. PROCEEDINGS OF THE 26TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA'17), 2017, : 376 - 379
  • [40] Java']Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics
    Sasse, Ralf
    Meseguer, Jose
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 176 (04) : 29 - 46
12345