| Publication Type |
Journal Article |
| School or College |
College of Engineering |
| Department |
Computing, School of |
| Creator |
Lindstrom, Gary E. |
| Title |
Backtracking in generalized control settings |
| Date |
1977 |
| Description |
Backtracking is a powerful conceptual and practical technique in programming. However, its application in general has been limited to global control over recursive programs. In this paper we explore through several examples the coherence and utility of applying backtracking in more general control settings, notably coroutine environments. The examples include: (i) a dual tree walk program using coroutine-managed backtracking subsystems, (ii) a context-free language intersection tester using bi-level hierarchical backtracking, and (iii) a minimizing computer job scheduler using backtracking in a simulation language setting. Full programs are given for each example, expressed in a PASCAL extension offering both coroutines and nondeterministic control. |
| Type |
Text |
| Publisher |
University of Utah |
| First Page |
1 |
| Last Page |
31 |
| Subject |
Backtracking |
| Subject LCSH |
Backtrack programming |
| Language |
eng |
| Bibliographic Citation |
Lindstrom, G. E. (1977). Backtracking in generalized control settings. 1-31. UTEC-77-105. |
| Series |
University of Utah Computer Science Technical Report |
| Relation is Part of |
ARPANET |
| Rights Management |
©University of Utah |
| Format Medium |
application/pdf |
| Format Extent |
1,718,227 bytes |
| Identifier |
ir-main,16101 |
| ARK |
ark:/87278/s6v12nzs |
| Setname |
ir_uspace |
| ID |
702880 |
| Reference URL |
https://collections.lib.utah.edu/ark:/87278/s6v12nzs |
