Refreshing results…
Precise Widening Operators for Proving Termination by Abstract Interpretation
Download from zenodo.orgThe Correctness of a Code Generator for a Functional Language
Download from zenodo.orgMissing publications? Search for publications with a matching author name.