English

A Monitoring Language for Run Time and Post-Mortem Behavior Analysis and Visualization

Software Engineering 2007-05-23 v1 Programming Languages

Abstract

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.

Cite

@article{arxiv.cs/0310025,
  title  = {A Monitoring Language for Run Time and Post-Mortem Behavior Analysis and Visualization},
  author = {Mikhail Auguston and Clinton Jeffery and Scott Underwood},
  journal= {arXiv preprint arXiv:cs/0310025},
  year   = {2007}
}

Comments

In M. Ronsse, K. De Bosschere (eds), proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG 2003), September 2003, Ghent. cs.SE/0309027

R2 v1 2026-07-22T12:21:29.280Z