Abstract
The deep semantics of a scheme is defined as a set of programs derivable from the scheme. A uniform way of representing deep semantics of schemes is introduced based on the usage of a program synthesizer. An implementation 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 number of examples.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have