Flow Caml
From MaRDI portal
swMATH8923MaRDI QIDQ20919FDOQ20919
Author name not available (Why is that?)
Official website: http://www.normalesup.org/~simonet/soft/flowcaml/
Cited In (10)
- SeLINQ: tracking information across application-database boundaries
- Securing interaction between threads and the scheduler in the presence of synchronization
- HLIO: mixing static and dynamic typing for information-flow control in Haskell
- Paragon
- Jif
- Combining behavioural types with security analysis
- HLIO
- SeLINQ
- JSFlow
- A secrecy-preserving language for distributed and object-oriented systems
This page was built for software: Flow Caml
