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 条
  • [31] An operational semantics of Starlog
    Lu, LJ
    Cleary, JG
    PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PROCEEDINGS, 1999, 1702 : 294 - 310
  • [32] An economic and operational evaluation of urban car-sharing
    Fellows, NT
    Pitfield, DE
    TRANSPORTATION RESEARCH PART D-TRANSPORT AND ENVIRONMENT, 2000, 5 (01) : 1 - 10
  • [33] A Unified Approach to Fully Lazy Sharing
    Balabonski, Thibaut
    POPL 12: PROCEEDINGS OF THE 39TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2012, : 469 - 480
  • [34] Lazy set-sharing analysis
    Li, Xuan
    King, Andy
    Lu, Lunjin
    FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2006, 3945 : 177 - 191
  • [35] Handcrafted Inversions Made Operational on Operational Semantics
    Monin, Jean-Francois
    Shi, Xiaomu
    INTERACTIVE THEOREM PROVING, ITP 2013, 2013, 7998 : 338 - 353
  • [36] A relation algebraic semantics for a lazy functional logic language
    Brassel, Bernd
    Christiansen, Jan
    RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE, 2008, 4988 : 37 - 53
  • [37] Semiotes: a semantics for sharing
    Kazic, T
    BIOINFORMATICS, 2000, 16 (12) : 1129 - 1144
  • [38] Strict and Lazy Semantics for Effects Layering Monads and Comonads
    Hirsch, Andrew K.
    Tate, Ross
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, 2018,
  • [39] Efficient lazy algorithms for minimal-interval semantics
    Boldi, Paolo
    Vigna, Sebastiano
    STRING PROCESSING AND INFORMATION RETRIEVAL, PROCEEDINGS, 2006, 4209 : 134 - 149
  • [40] Unifying denotational semantics with operational semantics for web services
    Zhu, Huibiao
    He, Jifeng
    Li, Jing
    DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY, PROCEEDINGS, 2007, 4882 : 225 - 239
12345