International Static Analysis Symposium, SAS 2018

Article Details
Title: Closing the Performance Gap Between Doubles and Rationals for Octagons
Article URLs:
Alternative Article URLs:
Authors: Aziem Chawdhary
  • University of Kent
Andy King
  • University of Kent
Sharing: Not able to share produced artifacts
Verification: Authors have verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/sas/ChawdharyK18
Author Comments: None

Discuss this paper and its artifacts below