Journal article icon

Journal article

Bridging the algorithm gap: A linear-time functional program for paragraph 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 efficient possible. However, in presenting the more efficient 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 ...

Expand abstract
Publication status:
Published

Actions


Access Document


Authors


More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Role:
Author
Journal:
SCIENCE OF COMPUTER PROGRAMMING
Volume:
35
Issue:
1
Pages:
3-27
Publication date:
1999-09-05
DOI:
ISSN:
0167-6423
URN:
uuid:1e7b501d-d361-449a-9326-04585b1808b5
Source identifiers:
163495
Local pid:
pubs:163495

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP