We present a binding-time analysis for Scheme which enables an ooine partial evaluator to successfully treat Scheme's reeective features eval, apply, and the control operator call/cc. Additionally, our analysis empowers the specializer to select the most eecient representation for each object. This removes some limitations of previous specializers regarding the use of higher-order functions. Th...

The use of semantically unpredictable sentences was investigated as part of a standard test battery for the eval uation of synthetic speech within the ESPRIT SAM project. Such sentences were randomly generated using five syntactic structures and word lists for each syntactic category. Initial results of experiments run in English, French and German are presented.

Lisp programmers constantly carry out experiments in a read-eval-print loop. The experimental activities convince the Lisp programmers that new or modified pieces of programs work as expected. But the experiments typically do not represent systematic and comprehensive unit testing efforts. Rather, the experiments are quick and dirty one shot validations which do not add lasting value to the sof...