A Denotational Semantics for SPARC TSO

被引：7
|
作者：
Kavanagh, Ryan [1 ]
Brookes, Stephen [1 ]
机构：
[1] Carnegie Mellon Univ, Dept Comp Sci, Pittsburgh, PA 15213 USA
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2018年 / 336卷 / 336期
基金：
加拿大自然科学与工程研究理事会;
关键词：
SPARC TSO; denotational semantics; pomsets; concurrency; weak memory models;
D O I：
10.1016/j.entcs.2018.03.025
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The SPARC TSO weak memory model is defined axiomatically, with a non-compositional formulation that makes modular reasoning about programs difficult. Our denotational approach uses pomsets to provide a compositional semantics capturing exactly the behaviours permitted by SPARC TSO. Our approach facilitates the study of SPARC TSO and supports modular analysis of program behaviour.
引用
收藏
页码：223 / 239
页数：17
相关论文
共 50 条
  • [31] LOGICAL SEMANTICS AND DENOTATIONAL SEMANTICS OF PROLOG INTERPRETERS
    DELAHAYE, JP
    [J]. RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1988, 22 (01): : 3 - 42
  • [32] Denotational Semantics for Symbolic Execution
    Voogd, Erik
    Klovstad, Asmund Aqissiaq Arild
    Johnsen, Einar Broch
    [J]. THEORETICAL ASPECTS OF COMPUTING, ICTAC 2023, 2023, 14446 : 370 - 387
  • [33] FROM OPERATIONAL TO DENOTATIONAL SEMANTICS
    SMITH, SF
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 598 : 54 - 76
  • [34] Denotational semantics of object specification
    Sernadas, A
    Sernadas, C
    Caleiro, C
    [J]. ACTA INFORMATICA, 1998, 35 (09) : 729 - 773
  • [35] Denotational semantics for thread algebra
    Vu, Thuy Duong
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2008, 74 (02): : 94 - 111
  • [36] Towards a denotational semantics for TimeML
    Katz, Graham
    [J]. ANNOTATING, EXTRACTING AND REASONING ABOUT TIME AND EVENTS, 2007, 4795 : 88 - 106
  • [37] A denotational semantics of defeasible logic
    Maher, MJ
    [J]. COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 209 - 222
  • [38] DENOTATIONAL SEMANTICS OF PROGRAMMING LANGUAGES
    TENNENT, RD
    [J]. COMMUNICATIONS OF THE ACM, 1976, 19 (08) : 437 - 453
  • [39] Disentangling Denotational Semantics Definitions
    Tirelo, Fabio
    Bigonha, Roberto S.
    Saraiva, Joao
    [J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2008, 14 (21) : 3592 - 3607
  • [40] ON DENOTATIONAL VERSUS PREDICATIVE SEMANTICS
    BROY, M
    LENGAUER, C
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1991, 42 (01) : 1 - 29
12345