Live logic programming.

Spencer Rugaber, Zef Hemel, Kurt Stirewalt

Browse the full ICSE paper archive.