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 条
  • [1] Generic exception handling and the Java']Java monad
    Schröder, L
    Mossakowski, T
    [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS, 2004, 3116 : 443 - 459
  • [2] Quantum Monad using Java']Java Closures
    Calegaro, Bruno Crestani
    Vizzotto, Juliana Kaiser
    [J]. 2013 2ND WORKSHOP-SCHOOL ON THEORETICAL COMPUTER SCIENCE (WEIT), 2013, : 34 - 39
  • [3] K-Java']Java: A Complete Semantics of Java']Java
    Bogdanas, Denis
    Rosu, Grigore
    [J]. ACM SIGPLAN NOTICES, 2015, 50 (01) : 445 - 456
  • [4] Coalgebras and monads in the semantics of Java']Java
    Jacobs, B
    Poll, E
    [J]. THEORETICAL COMPUTER SCIENCE, 2003, 291 (03) : 329 - 349
  • [5] Dynamic semantics of Java']Java bytecode
    Bertelsen, P
    [J]. FUTURE GENERATION COMPUTER SYSTEMS, 2000, 16 (07) : 841 - 850
  • [6] Extending operational semantics of the Java']Java bytecode
    Czarnik, Patryk
    Schubert, Aleksy
    [J]. TRUSTWORTHY GLOBAL COMPUTING, 2008, 4912 : 57 - 72
  • [7] Game Semantics for Interface Middleweight Java']Java
    Murawski, Andrzej S.
    Tzevelekos, Nikos
    [J]. JOURNAL OF THE ACM, 2021, 68 (01)
  • [8] A Java']Java Inspired Semantics for Transactions in SOC
    Bocchi, Laura
    Tuosto, Emilio
    [J]. TRUSTWORTHY GLOBAL COMPUTING, 2010, 6084 : 120 - 134
  • [9] Structural Operational Semantics of Packages in Java']Java
    Al Farook, Abdullah
    Arefin, Mohammad Shamsul
    Hoque, Md. Moshiul
    [J]. 2008 11TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY: ICCIT 2008, VOLS 1 AND 2, 2008, : 563 - 568
  • [10] Formal semantics of Java']Java expressions and statements
    Zamulin, AV
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 2003, 29 (05) : 259 - 269
12345