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


de Moor, O More by this author
More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
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



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

TO TOP