AN ADEQUATE OPERATIONAL SEMANTICS OF SHARING IN LAZY EVALUATION

被引：0
|
作者：
PURUSHOTHAMAN, S
SEAMAN, J
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1992年 / 582卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We present LAZY-PCF+SHAR, an extension of PCF, that deals with lazy evaluation and explicit substitutions to model the sharing engendered by the lazy evaluation strategy. We present a natural operational semantics for LAZY-PCF+SHAR and show that it is equivalent to the standard fixed-point semantics. Sharing is modeled by explicit substitutions, which require a great deal of careful attention in the proof.
引用
收藏
页码：435 / 450
页数：16
相关论文
共 50 条
  • [41] Sharing of misinformation is habitual, not just lazy or biased
    Ceylan, Gizem
    Anderson, Ian A.
    Wood, Wendy
    PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 2023, 120 (04)
  • [42] Linking denotational semantics with operational semantics for web services
    Zhu, Huibiao
    He, Jifeng
    Li, Jing
    Pu, Geguang
    Bowen, Jonathan P.
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2010, 6 (04) : 283 - 298
  • [43] Deriving operational semantics from denotational semantics for Verilog
    Zhu, HB
    Bowen, JP
    He, JF
    APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 177 - 184
  • [44] Linking Operational Semantics and Algebraic Semantics for Wireless Networks
    Wu, Xiaofeng
    Zhu, Huibiao
    FORMAL METHODS AND SOFTWARE ENGINEERING, 2013, 8144 : 380 - 396
  • [45] Representing and reasoning with operational semantics
    Miller, Dale
    AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 4 - 20
  • [46] Operational semantics oriented specification
    Bachmann, P
    KUWAIT JOURNAL OF SCIENCE & ENGINEERING, 1997, 24 (01): : 1 - 20
  • [47] Operational semantics for MSC'96
    Mauw, S.
    Reniers, M.A.
    Computer Networks, 1999, 31 (17): : 1785 - 1799
  • [48] Inductive assertions and operational semantics
    J. Strother Moore
    International Journal on Software Tools for Technology Transfer, 2006, 8 (4-5) : 359 - 371
  • [49] An operational semantics for weak PSL
    Claessen, K
    Mårtensson, J
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, 2004, 3312 : 337 - 351
  • [50] A formal operational semantics for SOFL
    Ho-Stuart, C
    Liu, SY
    ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 52 - 61
12345