Symbolic execution and NaNs
Richard J. Fateman · ACM SIGSAM Bulletin · 1999
article Free Access Share on Symbolic execution and NaNs: diagnostic tools for tracking scientific computation Author: Richard J. Fateman Computer Science Division, EECS Dept., University of California at Berkeley, Berkeley, CA Computer Science Division, EECS Dept., University of California at Berkeley, Berkeley, CAView Profile Authors Info & Claims ACM SIGSAM BulletinVolume 33Issue 3Sept.1999 pp 25–26https://doi.org/10.1145/347127.347439Published:01 September 1999Publication History 1citation52DownloadsMetricsTotal Citations1Total Downloads52Last 12 Months1Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my Alerts New Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF