Backtracking in generalized control settings

Update Item Information
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
Back to Search Results