Stack size analysis for interrupt-driven programs
type: Item
instance of: scholarly article
title: Stack size analysis for interrupt-driven programs
zbMATH Open document ID: 1090.68024
author: Krishnendu Chatterjee
author: Di Ma
author: Rupak Majumdar
author: Tian Zhao
author: Thomas A. Henzinger
author: Jens Palsberg
published in: Information and Computation
publication date: 2005-01-11T00:00:00Z
Mathematics Subject Classification ID: 68N99
Mathematics Subject Classification ID: 68Q17
zbMATH DE Number: 2126483
zbMATH Keywords: Program analysis
zbMATH Keywords: Stack bounds
zbMATH Keywords: Interrupt programs
MaRDI profile type: Publication
full work available at URL: j.ic.2004.06.001
OpenAlex ID: W2166521230
cites work: Undecidable boundedness problems for datalog programs
cites work: A Typed Interrupt Calculus
cites work: Q3221403
cites work: The complexity of facets (and some facets of complexity)
cites work: Q4813399
DOI: 10.1016/J.IC.2004.06.001
description: scientific article; zbMATH DE number 2126483