2020
DOI: 10.1007/978-3-030-64437-6_9
|View full text |Cite
|
Sign up to set email alerts
|

Certified Semantics for Relational Programming

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
6
0

Year Published

2021
2021
2024
2024

Publication Types

Select...
2
2
1

Relationship

2
3

Authors

Journals

citations
Cited by 5 publications
(6 citation statements)
references
References 21 publications
0
6
0
Order By: Relevance
“…In this section, we recollect some known formal descriptions for miniKanren language that will be used as a basis for our development. The descriptions here are taken from [15] (with a few non-essential adjustments for presentation purposes) to make the paper self-contained, more details and explanations can be found there.…”
Section: Background: Syntax and Semantics Of Minikanrenmentioning
confidence: 99%
See 2 more Smart Citations
“…In this section, we recollect some known formal descriptions for miniKanren language that will be used as a basis for our development. The descriptions here are taken from [15] (with a few non-essential adjustments for presentation purposes) to make the paper self-contained, more details and explanations can be found there.…”
Section: Background: Syntax and Semantics Of Minikanrenmentioning
confidence: 99%
“…Informally, in a well-formed leaf state all free variables in goals and substitution respect the counter of free logical variables. This definition is in fact an instance of a more general definition of well-formedness for all states, introduced in [15], where it is proven that the initial state is well-formed and any transition from a well-formed state results in a well-formed one.…”
Section: Background: Syntax and Semantics Of Minikanrenmentioning
confidence: 99%
See 1 more Smart Citation
“…We consider the alphabet of constructors {C k i i } and relational symbols {R k i i } to be predefined and accompanied with their arities. The formal semantics of the language is best described in [29]. Here we only briefly introduce the semantics.…”
Section: Minikanrenmentioning
confidence: 99%
“…An introduction to the language and some of its extensions in a series of examples can be found in the book [7]. The formal certified semantics for MINIKANREN is described in [29].…”
Section: Introductionmentioning
confidence: 99%