Symbolic Execution and NaNs: Diagnostic Tools for Tracking Scientific Computation Richard Fateman


Download 519 b.
Sana24.05.2018
Hajmi519 b.


Symbolic Execution and NaNs: Diagnostic Tools for Tracking Scientific Computation

  • Richard Fateman

  • (Based in part on ISSAC-99 Poster Session)


Abstract



Symbolic Execution/Proofs



We can’t economically keep “all information symbolically” so we propose an alternative to help debug partially symbolically



Initially Creating NaNs



Operations on NaNs



Example of Computing with NaNs



Fitting into Systems



Fitting into Systems (continued, 1)



Fitting into Systems (continued, 2)



A Lisp Version




Do'stlaringiz bilan baham:


Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2017
ma'muriyatiga murojaat qiling