Relating Models of Backtracking (2004)
by
Mitchell Wand
,
Dale Vaillancourt
| Venue: | IN PROC. 9TH INT. CONF. ON FUNCTIONAL PROGRAMMING |
| Citations: | 6 - 0 self |
BibTeX
@INPROCEEDINGS{Wand04relatingmodels,
author = {Mitchell Wand and Dale Vaillancourt},
title = {Relating Models of Backtracking},
booktitle = {IN PROC. 9TH INT. CONF. ON FUNCTIONAL PROGRAMMING},
year = {2004},
pages = {54--65},
publisher = {ACM Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Past attempts to relate two well-known models of backtracking computataion have met with only limited success. We relate these two models using logical relations. We accommodate higher-order values and in nite computations. We also provide an operational semantics, and we prove it adequate for both models.
