.png){kind=icon}
返回
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming
.png){kind=icon}
OA
AI
DOI：10.1145/3607845.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Functional logic languages have a rich literature, but it is tricky
to give them a satisfying semantics. In this paper we describe the
Verse calculus, VC, a new core calculus for deterministic functional
logic programming. Our main contribution is to equip VC with a
small-step rewrite semantics, so that we can reason
about a VC program in the same way as one does with lambda
calculus; that is, by applying successive rewrites to it.
We also show that the rewrite system is confluent for well-behaved terms.
期刊
暂无期刊信息
机构
暂无机构信息
引用论文
暂无论文信息