Complexity of Model-Checking Call-by-Value Programs.

Takeshi Tsukada, Naoki Kobayashi

Browse the full FOSSACS paper archive.