Grail

swMATH26751MaRDI QIDQ38480FDOQ38480

Author name not available (Why is that?)

Described by source

• Grail: a functional form for imperative mobile code

Cited In (4)

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

This page was built for software: Grail