SUMMARY Aristotle provides program analysis information and supports the development of software engineering tools. Aristotle's front end consists of parsers that gather control-ow, local data-ow, and symbol table information for C and Java programs. Aristotle tools use the data provided by the front end to perform a variety of tasks, such as data-ow and control-dependence analysis, data-ow tes...

The topic of the void was of significant philosophical and scientific importance in the ancient and medieval world. Some, such as the atomists, maintained that the void was essential if one were to explain motion. Others, such as Aristotle, argued that the existence of the void would absolutely preclude the possibility of motion. Moreover, there were disputes concerning even how to characterize...