𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Extraretinal correction and memory for target position

✍ Scribed by Alexander A. Skavenski

Book ID
118368843
Publisher
Elsevier Science
Year
1971
Tongue
English
Weight
364 KB
Volume
11
Category
Article
ISSN
0042-6989

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Correct and Complete (Positive) Strategy
Correct and Complete (Positive) Strategy Annotations for OBJ
✍ MarΓ­a Alpuente; Santiago Escobar; Salvador Lucas πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 318 KB

Strategy annotations are used in several rewriting-based programming languages to introduce replacement restrictions aimed at improving efficiency and/or reducing the risk of nontermination. Unfortunately, rewriting restrictions can have a negative impact on the ability to compute normal forms. In t