An auditing language for preventing correlated failures in the cloud.

Ennan Zhai Ruzica Piskac Ronghui Gu Xun Lao Xi Wang

Published in: Proc. ACM Program. Lang. (2017)

Keyphrases

cloud computing
programming language
artificial intelligence
natural language
natural language processing
language learning
linguistic knowledge
language processing
target language
real time
machine learning
expert systems
statistical databases
computational linguistics
operational semantics