Program specialization for execution monitoring

DOI10.1017/S0956796802004586MaRDI QIDQ4408682zbMATH OpenFDO

Authors Peter J. Thiemann

Publication date 2003

Published in Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

partial evaluation techniques

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Provably correct runtime monitoring
• Generic program monitoring by trace analysis
• Enforcing trace properties by program transformation
• Security monitor inlining and certification for multithreaded Java
• Security-aware program transformations.

Cited in

(3)

• scientific article; zbMATH DE number 1692934 (Why is no real title available?)
• Generic program monitoring by trace analysis
• Enforcing trace properties by program transformation

This page was built for publication: Program specialization for execution monitoring

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4408682)