Journal of the ACM (JACM)
Journal of the ACM (JACM)
New Programming Languages for Artificial Intelligence Research
ACM Computing Surveys (CSUR)
Program development by stepwise refinement
Communications of the ACM
String analysis and synthesis in SL5
ACM '76 Proceedings of the 1976 annual conference
An implementation of backtracking for programming languages
ACM '72 Proceedings of the ACM annual conference - Volume 2
A procedural approach to pattern matching in SNOBOL4
ACM '74 Proceedings of the 1974 annual conference - Volume 1
Procedure referencing environments in SL5
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
Structured programming
Backtracking in a Generalized Control Setting
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
Control structure aptness: A case study using top-down parsing
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Language facilities for programmable backtracking
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
A history of the SNOBOL programming languages
ACM SIGPLAN Notices - Special issue: History of programming languages conference
ACM SIGPLAN Notices
ACM SIGPLAN Notices
A history of the SNOBOL programming languages
History of programming languages I
| Hi-index | 0.02 |
One of the difficulties in using nondeterministic algorithms for the solution of combinatorial problems is that most programming languages do not include features capable of easily representing backtracking processes. This paper describes a procedure mechanism that uses coroutines as a means for the description and realization of nondeterministic algorithms. A solution to the eight queens problem is given to illustrate the application of the procedure mechanism to backtracking problems.