Modal crash types for intermittent computing

DOI10.1007/978-3-031-30044-8_7MaRDI QIDQ6535235zbMATH OpenFDO

Authors Farzaneh Derakhshan, Myra Dotzel, Milijana Surbatovich, Limin Jia

Publication date 24 November 2023

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-30044-8_7

zbMATH Keywords

intermittent computinglogical relationmodal crash type

Mathematics Subject Classification ID

Logic in computer science (03B70) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Automatic verification of intermittent systems
• Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems
• Reducing crash recoverability to reachability
• Static typing for a faulty lambda calculus
• A typed interrupt calculus

Cites work

• A judgmental reconstruction of modal logic
• A Kripke logical relation for effect-based program transformations
• A message-passing interpretation of adjoint logic
• Adjoint logic with a 2-category of modes
• Automatic verification of intermittent systems
• Handlers of Algebraic Effects
• Handling algebraic effects
• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 512784 (Why is no real title available?)
• scientific article; zbMATH DE number 2079022 (Why is no real title available?)
• scientific article; zbMATH DE number 7204444 (Why is no real title available?)
• Manifest deadlock-freedom for shared session types
• Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
• Semantics for algebraic operations
• Software transactional memory
• State-dependent representation independence
• The impact of higher-order state and control effects on local relational reasoning

This page was built for publication: Modal crash types for intermittent computing

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