A Context-based Approach to Proving Termination of Evaluation (Q2805157)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Context-based Approach to Proving Termination of Evaluation |
scientific article |
Statements
A Context-based Approach to Proving Termination of Evaluation (English)
0 references
10 May 2016
0 references
reduction semantics
0 references
evaluation context
0 references
weak head normalization
0 references
control operators
0 references
normalization by evaluation
0 references
