.png){kind=icon}
Return
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming
.png){kind=icon}
OA
AI
DOI：10.1145/3607845.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
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.
Journal
No journal information available
Organization
No organization information available
Cited Papers
No cited papers available