一种用于运行时和事后行为分析与可视化的监控语言
软件工程
2007-05-23 v1 编程语言
摘要
UFO 是 FORMAN 的一种新实现，这是一种声明式监控语言，其中的规则被编译成在由 Alamo 监控架构支持的虚拟机上运行的执行监视器。
引用
@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}
}
备注
In M. Ronsse, K. De Bosschere (eds), proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG 2003), September 2003, Ghent. cs.SE/0309027