Journal article

### Deriving Tidy Drawings of Trees

Abstract:

The tree-drawing problem\\/ is to produce a `tidy' mapping of elements of a tree to points in the plane. In this paper, we derive an efficient algorithm for producing tidy drawings of trees. The specification, the starting point for the derivations, consists of a collection of intuitively appealing criteria\\/ satisfied by tidy drawings. The derivation shows constructively that these criteria completely determine the drawing. Indeed, there is essentially only one reasonable drawing algorith...

### Authors

More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
Journal:
Journal of Functional Programming
Volume:
6
Issue:
3
Pages:
535-562
Publication date:
1996-01-01
UUID:
uuid:8c9e0933-1563-4825-8114-a7ac99dc120f
Local pid:
cs:2342
Deposit date:
2015-03-12