A typed interrupt calculus

DOI10.1007/3-540-45739-9_18MaRDI QIDQ5392296zbMATH OpenOpenAlexFDO

Authors Jens Palsberg, Di Ma

Publication date 8 April 2011

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

Full work available at URL https://doi.org/10.1007/3-540-45739-9_18

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

• Stack size analysis for interrupt-driven programs
• scientific article; zbMATH DE number 2090843
• Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts
• Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
• Investigating time properties of interrupt-driven programs

Cited in

(7)

• A program-controlled program interruption system
• Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts
• Stack size analysis for interrupt-driven programs
• Investigating time properties of interrupt-driven programs
• Certifying low-level programs with hardware interrupts and preemptive threads
• scientific article; zbMATH DE number 2090843 (Why is no real title available?)
• Modal crash types for intermittent computing

This page was built for publication: A typed interrupt calculus

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