Symbolic Crosschecking of Data-Parallel Floating-Point Code

File(s)

Kleecl-tse-2014.pdf (2.7 MB)

Published version

Show more

Author(s)

Kelly, PHJ

Cadar

collingbourne

Type

Journal Article

Date Acceptance

2013-12-17

Citation

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

URI

http://hdl.handle.net/10044/1/24017

DOI

https://www.dx.doi.org/10.1109/TSE.2013.2297120

ISSN

0098-5589

Start Page

710

End Page

737

Journal / Book Title

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

Volume

40

Issue

7

Copyright Statement

© 2014 The Authors. This work is licensed under a Creative Commons Attribution 3.0 License. For more information, see http://creativecommons.org/licenses/by/3.0/

License URL

https://creativecommons.org/licenses/by/3.0/

Description

22.06.15 KB. Ok to add published version to spiral, OA paper under cc-by