共 50 条
- [42] Clara: Partially Evaluating Runtime Monitors at Compile Time Tutorial Supplement RUNTIME VERIFICATION, 2010, 6418 : 74 - +
- [43] Partially Evaluating Finite-State Runtime Monitors Ahead of Time ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2012, 34 (02): : 1 - 52
- [44] Teaching the Security Mindset with Reference Monitors PROCEEDINGS OF THE 45TH ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION (SIGCSE'14), 2014, : 523 - 528
- [45] Partially evaluating finite-state runtime monitors ahead of time Bodden, E., 2012, Association for Computing Machinery (34):