Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation.

Kazuhide Yasukata, Takeshi Tsukada, Naoki Kobayashi

Browse the full APLAS paper archive.