Verified secure compilation for mixed-sensitivity concurrent programs.

Robert Sison Toby Murray

Published in: J. Funct. Program. (2021)

Keyphrases

concurrent programs
concurrent programming
process algebra
web applications
case study
database
artificial intelligence
knowledge base
general purpose