Modal crash types for intermittent computing

DOI10.1007/978-3-031-30044-8_7zbMATH Open1541.68104MaRDI QIDQ6535235

Limin Jia, Myra Dotzel, Milijana Surbatovich, Farzaneh Derakhshan

Publication date: 24 November 2023

zbMATH Keywords

logical relationintermittent computingmodal crash type

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A message-passing interpretation of adjoint logic
• A judgmental reconstruction of modal logic
• Handling Algebraic Effects
• The impact of higher-order state and control effects on local relational reasoning
• Automatic Verification of Intermittent Systems
• Handlers of Algebraic Effects
• Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
• Semantics for Algebraic Operations
• A kripke logical relation for effect-based program transformations
• State-dependent representation independence
• Adjoint Logic with a 2-Category of Modes
• Software transactional memory
• Manifest deadlock-freedom for shared session types

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)