swMATH28644MaRDI QIDQ40358FDOQ40358
Author name not available (Why is that?)
Official website: https://doi.org/10.1145/3110268
Cited In (14)
- Safe functional systems through integrity types and verified assembly
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP
- Coquet
- ModuRes
- Verilog
- A formal equational theory for call-by-push-value
- Flicker
- UTPCalc
- Rocksalt
- Lava
- muFP
- FreeSpec
- operational
- Modular verification of programs with effects and effects handlers
This page was built for software: Kami
