Towards certified separate compilation for concurrent programs.

Hanru Jiang Hongjin Liang Siyang Xiao Junpeng Zha Xinyu Feng

Published in: PLDI (2019)

Keyphrases

concurrent programs
concurrent programming
process algebra
concurrent processes
knowledge base
web applications
concurrent systems
artificial intelligence