Enforcing trace properties by program transformation

DOI10.1145/325694.325703MaRDI QIDQ5178842zbMATH OpenOpenAlexFDO

Authors Thomas Colcombet, Pascal Fradet

Publication date 17 March 2015

Published in Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/inria-00000937/file/POPL00.pdf

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• Program specialization for execution monitoring
• Security-aware program transformations.
• scientific article; zbMATH DE number 1330435
• Enforcing non-safety security policies with program monitors
• A type system for expressive security policies

Cited in

(7)

• Program specialization for execution monitoring
• Aspects preserving properties
• Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system
• Aspects of availability. Enforcing timed properties to prevent denial of service
• Types and trace effects for object orientation
• Language-based program verification via expressive types
• scientific article; zbMATH DE number 1107707 (Why is no real title available?)

This page was built for publication: Enforcing trace properties by program transformation

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