Safety of Strictness Analysis via Term Graph Rewriting.

David Clark, Chris Hankin, Sebastian Hunt

Browse the full SAS paper archive.