A type and effect system for deterministic parallel java

被引：0
|
作者：
Department of Computer Science, University of Illinois, Urbana-Champaign, United States [1 ]
机构：
来源：
ACM SIGPLAN Not. | 1600年 / 10卷 / 97-116期
关键词：
Engineering Village;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Commutativity - Determinism - Deterministic parallelisms - Effect system - Effects
引用
收藏
相关论文
共 50 条
  • [1] A Type and Effect System for Deterministic Parallel Java']Java
    Bocchino, Robert L., Jr.
    Adve, Vikram S.
    Dig, Danny
    Adve, Sarita V.
    Heumann, Stephen
    Komuravelli, Rakesh
    Overbey, Jeffrey
    Simmons, Patrick
    Sung, Hyojin
    Vakilian, Mohsen
    OOPSLA 2009, CONFERENCE PROCEEDINGS, 2009, : 97 - 116
  • [2] A Type and Effect System for Deterministic Parallel Java']Java
    Bocchino, Robert L., Jr.
    Adve, Vikram S.
    Dig, Danny
    Adve, Sarita V.
    Heumann, Stephen
    Komuravelli, Rakesh
    Overbey, Jeffrey
    Simmons, Patrick
    Sung, Hyojin
    Vakilian, Mohsen
    ACM SIGPLAN NOTICES, 2009, 44 (10) : 97 - 116
  • [3] A Type and Effect System for Flexible Abstract Interpretation of Java']Java (Extended Abstract)
    Skalka, Christian
    Smith, Scott
    Van Horn, David
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 131 : 111 - 124
  • [4] Is the Java']Java type system sound?
    Drossopoulou, S
    Eisenbach, S
    Khurshid, S
    THEORY AND PRACTICE OF OBJECT SYSTEMS, 1999, 5 (01): : 3 - 24
  • [5] A Formal Type System for Java']Java
    Debbabi, Mourad
    Fourati, Myriam
    JOURNAL OF OBJECT TECHNOLOGY, 2007, 6 (08): : 117 - 184
  • [6] Distributed and parallel execution of Java']Java programs on a DSM system
    Hou, TW
    Chen, FG
    Lee, JL
    Cheng, YL
    FIRST IEEE/ACM INTERNATIONAL SYMPOSIUM ON CLUSTER COMPUTING AND THE GRID, PROCEEDINGS, 2001, : 555 - 559
  • [7] Java']Java data parallel extensions with runtime system support
    Wen, YH
    Carpenter, B
    Fox, G
    Zhang, GS
    FIFTH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING, PROCEEDINGS, 1998, : 114 - 118
  • [8] A Generic Type System for Featherweight Java']Java
    Schoepp, Ulrich
    Xu, Chuangjie
    PROCEEDINGS OF THE 23RD ACM INTERNATIONAL WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS (FTFJP '21), 2021, : 9 - 15
  • [9] A type system for Java']Java bytecode subroutines
    Stata, R
    Abadi, M
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1999, 21 (01): : 90 - 137
  • [10] THE SYSTEM PARCS-JAVA']JAVA FOR PARALLEL COMPUTATIONS ON COMPUTER NETWORKS
    Anisimov, A. V.
    Derevyanchenko, A. V.
    CYBERNETICS AND SYSTEMS ANALYSIS, 2005, 41 (01) : 17 - 26
12345