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 条
  • [1] An operational semantics of sharing in lazy evaluation
    Seaman, J
    Iyer, SP
    SCIENCE OF COMPUTER PROGRAMMING, 1996, 27 (03) : 289 - 322
  • [2] An operational semantics for parallel lazy evaluation
    Baker-Finch, C
    King, DJ
    Trinder, P
    ACM SIGPLAN NOTICES, 2000, 35 (09) : 162 - 173
  • [3] Thunk Recycling for Lazy Functional Languages: Operational Semantics and Correctness
    Takano, Yasunao
    Iwasaki, Hideya
    30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, 2015, : 2079 - 2086
  • [4] The adequacy of Launchbury's natural semantics for lazy evaluation
    Breitner, Joachim
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2018, 28
  • [5] Distributed Lazy Evaluation: A Big-Step Mechanised Semantics
    Haeri, Seyed H.
    Schupp, Sibylle
    2014 22ND EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP 2014), 2014, : 751 - 755
  • [6] Preserving sharing in the partial evaluation of lazy functional programs
    Fischer, Sebastian
    Silva, Josep
    Tamarit, Salvador
    Vidal, German
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2008, 4915 : 74 - +
  • [7] THE SEMANTICS OF LAZY FUNCTIONAL LANGUAGES
    JOSEPHS, MB
    THEORETICAL COMPUTER SCIENCE, 1989, 68 (01) : 105 - 111
  • [8] Generating power of lazy semantics
    Karczmarczuk, J
    THEORETICAL COMPUTER SCIENCE, 1997, 187 (1-2) : 203 - 219
  • [9] Strict and Lazy Semantics for Effects
    Hirsch, Andrew K.
    Tate, Ross
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2
  • [10] The Role of Indirections in Lazy Natural Semantics
    Sanchez-Gil, Lidia
    Hidalgo-Herrero, Mercedes
    Ortega-Mallen, Yolanda
    PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2014, 2015, 8974 : 288 - 303
12345