The deep semantics of a scheme is defined as a set of programs derivab
le from the scheme. A uniform way of representing deep semantics of sc
hemes is introduced based on the usage of a program synthesizer. An im
plementation of structural synthesis of programs in the NUT system and
visual tools built on top of it are described. A visual compositional
programming technique based on these tools is demonstrated on a numbe
r of examples. (C) 1997 Academic Press Limited.