Theoretical Computer Science

DOI10.1007/11560586zbMath1171.68402OpenAlexW2603408665MaRDI QIDQ5395086

Eduardo Bonelli, Ricardo Medel, Adriana Compagnoni

Publication date: 1 November 2006

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

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

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items

Instruction-level security analysis for information flow in stack-based assembly languages ⋮ Security types preserving compilation ⋮ More Typed Assembly Languages for Confidentiality ⋮ Relational bytecode correlations

This page was built for publication: Theoretical Computer Science