Heap-bounded assembly language

DOI10.1023/B:JARS.0000021014.79255.33zbMath1069.68033OpenAlexW2065096174MaRDI QIDQ1826469

David Aspinall, Adriana Compagnoni

Publication date: 6 August 2004

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:jars.0000021014.79255.33

zbMATH Keywords

proof-carrying codetyped assembly language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

A type system with usage aspects

This page was built for publication: Heap-bounded assembly language