An Intrinsic Denotational Semantics for a Lazy Functional Language

被引：0
|
作者：
Rodriguez, Leonardo [1 ]
机构：
[1] Univ Nacl Cordoba, FAMAF, RA-5000 Cordoba, Argentina
来源：
PROGRAMMING LANGUAGES, SBLP 2015 | 2015年 / 9325卷
关键词：
Denotational semantics; Lazy evaluation; Type theory;
D O I：
10.1007/978-3-319-24012-1_6
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper we present a denotational semantics for a lazy functional language. The semantics is intrinsic in the sense that it defines meaning for typing derivations instead of language expressions. We contrast our semantics with the well-known evaluation rules defined by Sestoft [17] and show that these rules preserve types and meaning.
引用
收藏
页码：75 / 80
页数：6
相关论文
共 50 条
  • [1] THE DENOTATIONAL SEMANTICS OF A FUNCTIONAL TREE-MANIPULATION LANGUAGE
    MALTON, A
    [J]. COMPUTER LANGUAGES, 1993, 19 (03): : 157 - 168
  • [2] DENOTATIONAL SEMANTICS OF A PARA-FUNCTIONAL PROGRAMMING LANGUAGE
    HUDAK, P
    [J]. INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1986, 15 (02) : 103 - 125
  • [3] A relation algebraic semantics for a lazy functional logic language
    Brassel, Bernd
    Christiansen, Jan
    [J]. RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE, 2008, 4988 : 37 - 53
  • [4] Probabilistic Denotational Semantics for an Interrupt Modelling Language
    Huang, Yanhong
    Zhao, Yongxin
    Qin, Shengchao
    He, Jifeng
    [J]. 2015 20TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2015, : 160 - 169
  • [5] A Denotational Semantics of Concepts in ODP Information Language
    Laassiri, Jalal
    Balouki, Youssef
    Belhaj, Hafid
    El Hajji, Said
    Bouhdadi, Mohamed
    [J]. WORLD CONGRESS ON ENGINEERING 2009, VOLS I AND II, 2009, : 486 - 492
  • [6] THE SEMANTICS OF LAZY FUNCTIONAL LANGUAGES
    JOSEPHS, MB
    [J]. THEORETICAL COMPUTER SCIENCE, 1989, 68 (01) : 105 - 111
  • [7] Denotational Semantics of the XML-λ Query Language
    Loupal, Pavel
    Richta, Karel
    [J]. PROCEEDINGS OF THE DATESO 2010 WORKSHOP - DATESO DATABASES, TEXTS, SPECIFICATIONS, AND OBJECTS, 2010, 567 : 139 - 146
  • [8] A denotational semantics of a concatenative/compositional programming language
    Mihelic, Jurij
    Steingartner, William
    Novitzka, Valerie
    [J]. ACTA POLYTECHNICA HUNGARICA, 2021, 18 (04) : 231 - 250
  • [9] The Denotational Semantics of a Pre-Woven Language
    Nusayr, Amjad
    Al-Sharif, Ziad
    [J]. 2016 7TH INTERNATIONAL CONFERENCE ON INFORMATION AND COMMUNICATION SYSTEMS (ICICS), 2016, : 286 - 291
  • [10] DENOTATIONAL SEMANTICS OF A GOAL-DIRECTED LANGUAGE
    GUDEMAN, DA
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1992, 14 (01): : 107 - 125
12345