General-purpose pretty printer

Thread View: comp.lang.clu

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Matti Jokinen Thu, 12 Jan 1989 13:02

#30

Author: Matti Jokinen
Date: Thu, 12 Jan 1989 13:02

14 lines
1249 bytes

A general-purpose pretty printer named `prettystream' is available
by anounymous ftp from tucos.utu.fi (128.214.27.20).  A compressed
tar file pub/clu/prettystream.tar.Z contains two clu source files
and a manual in LaTeX format.

`Prettystream' is a CLU cluster which can be used as an intelligent
back end for programs that produce clauses of some formal language.
The user program sees it as a stream composed of visible symbols and
elementary formatting instructions.  The user can specify a set of
alternative formats and the precedence of the alternatives.  The
prettyprinter attempts to automatically select the `best' layout that
fits on the bounded horizontal space available on the output medium.
`Prettystream' is a useful back-end for program generators, program
transformers, theorem provers, symbolic mathematical programs etc.

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads