Bridging the Algorithm Gap: A Linear−Time Functional Program for Paragraph Formatting
In the constructive programming community it is commonplace to see formal developments of textbook algorithms. In the algorithm design community, on the other hand, it may be well known that the textbook solution to a problem is not the most efficient possible. However, in presenting the more effici...
| Главные авторы: | , |
|---|---|
| Формат: | Journal article |
| Опубликовано: |
1999
|