| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 10331290 | Information Processing Letters | 2005 | 11 Pages |
Abstract
We show that breadth-first traversal exploits the difference between the static delimited-control operator shift (alias S) and the dynamic delimited-control operator control (alias F). For the last 15 years, this difference has been repeatedly mentioned in the literature but it has only been illustrated with one-line toy examples. Breadth-first traversal fills this vacuum.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Dariusz Biernacki, Olivier Danvy, Chung-chieh Shan,