A Monitoring Language for Run Time and Post-Mortem Behavior Analysis and Visualization
Mikhail Auguston, Clinton L. Jeffery, Scott Underwood · arXiv (Cornell University) · 2003
UFO is a new implementation of FORMAN, a declarative monitoring language, in which rules are compiled into execution monitors that run on a virtual machine supported by the Alamo monitor architecture.