Key points are not available for this paper at this time.
PICO is an interactive editor for digitized graphic images. Editing operations are defined in a simple expression language based on the C language. The editor treats images as an ordered set of pixel structures stored in two-dimensional arrays. PICO checks editing commands for syntax, translates them into programs, optimizes and then executes them, all within a few seconds of run time. The command structure is similar to that of conventional multifile text editors with options for reading, writing, and transforming digitized images.
Gerard J. Holzmann (Wed,) studied this question.