Program specialization for execution monitoring

DOI10.1017/S0956796802004586zbMATH Open1036.68023MaRDI QIDQ4408682FDOQ4408682

Authors: Peter J. Thiemann 

Publication date: 2003

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

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.

zbMATH Keywords

partial evaluation techniques

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (3)

• Enforcing trace properties by program transformation
• Title not available (Why is that?)
• Generic program monitoring by trace analysis

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)