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
Division:
MPLS
Department:
Computer Science
Role:
Author
Journal:
SCIENCE OF COMPUTER PROGRAMMING
Volume:
35
Issue:
1
Pages:
3-27
Publication date:
1999-09-01
DOI:
ISSN:
0167-6423
Source identifiers:
163495
Language:
English
Keywords:
Pubs id:
pubs:163495
UUID:
uuid:1e7b501d-d361-449a-9326-04585b1808b5
Local pid:
pubs:163495
Deposit date:
2012-12-19

Terms of use


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