Statically Verifiable Inter-Process-Communicative Isolated Processes
Galen C Hunt,James R Larus,Martin Abadi,Mark Aiken,Paul Barham,Manuel Fahndrich,Chris Hawblitzel,Orion Hodson, Steven P Levi, Nicholas Murphy,Bjarne Steensgaard, David Read Tarditi,Edward P Wobber,Brian Zill mag(2007)
AI 理解论文
溯源树
样例