Reduced Certificates for Abstraction-Carrying Code

DOI10.1007/11799573_14MaRDI QIDQ5449599zbMATH OpenOpenAlexFDO

Authors Elvira Albert, Puri Arenas, Germán Puebla, Manuel Hermenegildo

Publication date 11 March 2008

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL http://oa.upm.es/14349/

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Certificate size reduction in abstraction-carrying code
• Logic for Programming, Artificial Intelligence, and Reasoning
• Abstraction-carrying code: a model for mobile code safety
• Logic Programming
• An Incremental Approach to Abstraction-Carrying Code

Cited in

(9)

• Certificate size reduction in abstraction-carrying code
• Certifying execution time
• Certificate Translation for Optimizing Compilers
• Logic Programming
• An Incremental Approach to Abstraction-Carrying Code
• Certificate Translation in Abstract Interpretation
• Logic for Programming, Artificial Intelligence, and Reasoning
• Small Witnesses for Abstract Interpretation-Based Proofs
• Abstraction-carrying code: a model for mobile code safety

Describes a project that uses

Uses Software

• Ciao
• CiaoPP

This page was built for publication: Reduced Certificates for Abstraction-Carrying Code

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