scientific article; zbMATH DE number 1962754

MaRDI QIDQ4418583zbMATH OpenFDO

Authors George C. Necula, Robert R. Schneck

Publication date 11 August 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2609/26090283.htm

Mathematics Subject Classification ID

Theory of software (68N99) Data encryption (aspects in computer science) (68P25)

Recommendations

• scientific article; zbMATH DE number 2090287
• scientific article; zbMATH DE number 2110618
• Term Rewriting and Applications
• scientific article; zbMATH DE number 1330435
• Tutorial examples of the semantic approach to foundational proof-carrying code

Cited in

(9)

• A trustworthy proof checker
• Building certified libraries for PCC: dynamic storage allocation
• scientific article; zbMATH DE number 1692889 (Why is no real title available?)
• Tutorial examples of the semantic approach to foundational proof-carrying code
• scientific article; zbMATH DE number 1956565 (Why is no real title available?)
• scientific article; zbMATH DE number 2090287 (Why is no real title available?)
• scientific article; zbMATH DE number 2110618 (Why is no real title available?)
• Oracle-based checking of untrusted software
• Typed Lambda Calculi and Applications

Describes a project that uses

Uses Software

• TAPS

This page was built for publication:

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