Abstraction-carrying code: a model for mobile code safety
type: Item
instance of: scholarly article
title: Abstraction-carrying code: a model for mobile code safety
zbMATH Open document ID: 1169.68356
author: Elvira Albert
author: Germán Puebla
author: Manuel Hermenegildo
published in: New Generation Computing
publication date: 2008-10-20T00:00:00Z
full work available at URL: http://oa.upm.es/11150/
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 5354442
zbMATH Keywords: logic programming
zbMATH Keywords: proof-carrying code
zbMATH Keywords: static analysis
zbMATH Keywords: abstract interpretation
describes a project that uses: CiaoPP
describes a project that uses: Coq
describes a project that uses: SAS
describes a project that uses: TALx86
describes a project that uses: Ciao
MaRDI profile type: Publication
OpenAlex ID: W2024535452
cites work: Reduced Certificates for Abstraction-Carrying Code
cites work: Q4809041
cites work: Proof-carrying code from certified abstract interpretation and fixpoint compression
cites work: A practical framework for theabstract interpretation of logic programs
cites work: Programming Languages and Systems
cites work: Q4518877
cites work: Abstract interpretation based verification of logic programs
cites work: Efficient run-time type checking of typed logic programs
cites work: Q4813396
cites work: Q4391452
cites work: Java bytecode verification: Algorithms and formalizations
cites work: Stack-based typed assembly language
cites work: Compile-time derivation of variable dependency using abstract interpretation
cites work: Oracle-based checking of untrusted software
cites work: Q2723933
cites work: Program Development in Computational Logic
cites work: Lightweight bytecode verification
cites work: Q4411953
cites work: Theorem Proving in Higher Order Logics
DOI: 10.1007/S00354-008-0039-7
description: scientific article; zbMATH DE number 5354442