Bridging the algorithm gap: A linear-time functional program for paragraph formatting

by: Oege de Moor, Jeremy Gibbons

Science of Computer Programming, Vol. 35, No. 1. (1999), pp. 3-27.

View FullText article

CiteSeer (at Penn State), CiteSeer (at MIT), CiteSeer (at Zurich), CiteSeer (at Singapore)

Reviews [Write a review of this article]

There are no reviews of this article

Find related articles from these CiteULike users

zednenem

Find related articles with these CiteULike tags

algorithms, haskell, text-formatting

Abstract

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 eÆcient possible. However, in presenting the more eÆcient solution, the algorithm designer will usually omit some of the implementation details, thus creating an algorithm gap between the abstract algorithm and its concrete implementation. This is in...

@article{citeulike:311068, abstract = {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 e{\AE}cient possible. However, in presenting the more e{\AE}cient solution, the algorithm designer will usually omit some of the implementation details, thus creating an algorithm gap between the abstract algorithm and its concrete implementation. This is in...}, author = {de Moor, Oege and Gibbons, Jeremy }, citeulike-article-id = {311068}, journal = {Science of Computer Programming}, keywords = {algorithms, haskell, text-formatting}, number = {1}, pages = {3--27}, posted-at = {2005-09-03 02:20:17}, priority = {0}, title = {Bridging the algorithm gap: A linear-time functional program for paragraph formatting}, url = {http://citeseer.ist.psu.edu/23630.html}, volume = {35}, year = {1999} }

RIS record

TY - JOUR ID - citeulike:311068 L3 - citeulike-article-id:311068 TI - Bridging the algorithm gap: A linear-time functional program for paragraph formatting JF - Science of Computer Programming VL - 35 IS - 1 SP - 3 EP - 27 N2 - 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 eÆcient possible. However, in presenting the more eÆcient solution, the algorithm designer will usually omit some of the implementation details, thus creating an algorithm gap between the abstract algorithm and its concrete implementation. This is in... KW - algorithms KW - haskell KW - text-formatting AU - de Moor, Oege AU - Gibbons, Jeremy PY - 1999/// UR - http://citeseer.ist.psu.edu/23630.html ER -

RIS BibTeX