An Incremental Approach to Abstraction-Carrying Code

DOI10.1007/11916277_26MaRDI QIDQ5387905zbMATH OpenOpenAlexFDO

Authors Elvira Albert, Puri Arenas, Germán Puebla

Publication date 27 May 2008

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11916277_26

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Logic for Programming, Artificial Intelligence, and Reasoning
• Abstraction-carrying code: a model for mobile code safety
• Certificate size reduction in abstraction-carrying code
• Reduced Certificates for Abstraction-Carrying Code
• Proof-carrying code from certified abstract interpretation and fixpoint compression

Cited in

(3)

• Certificate size reduction in abstraction-carrying code
• Incremental Abstract Interpretation
• Reduced Certificates for Abstraction-Carrying Code

This page was built for publication: An Incremental Approach to Abstraction-Carrying Code

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