Grail

MaRDI QIDQ38480swMATHFDO

Official website https://www.sciencedirect.com/science/article/pii/S1571066105800830

Described by source

• Grail: a functional form for imperative mobile code

Cited in

(7)

• Logic for Programming, Artificial Intelligence, and Reasoning
• A program logic for resources
• Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits
• Sumatra
• Viptos
• Camelot
• Compositional schedulability analysis of real-time actor-based systems

This page was built for software: Grail