Enforcing safety properties using type specialization

DOI10.1007/3-540-45309-1_5MaRDI QIDQ2763666zbMATH OpenFDO

Authors Peter J. Thiemann

Publication date 21 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2028/20280062

Mathematics Subject Classification ID

Theory of software (68N99) Data encryption (aspects in computer science) (68P25) Computing methodologies and applications (68U99)

Recommendations

• Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system
• Program specialization for execution monitoring
• Machine code type safety
• A type system for expressive security policies
• scientific article; zbMATH DE number 1330435

Cited in

(4)

• Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system
• Language-based program verification via expressive types
• FUNCTIONAL PEARL Type-safe cast
• Towards proving type safety of .NET CIL

This page was built for publication: Enforcing safety properties using type specialization

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