Kami

swMATH28644MaRDI QIDQ40358FDOQ40358

Author name not available (Why is that?)

Cited In (4)

• Safe functional systems through integrity types and verified assembly
• Theoretical and practical approaches to the denotational semantics for MDESL based on UTP
• A formal equational theory for call-by-push-value
• Modular verification of programs with effects and effects handlers

This page was built for software: Kami