Open AccessProgram Verification for Extreme-Scale Applications (Final Scientific/Technical Report)
Author(s) -
Stephen F. Siegel
Publication year - 2020
Publication title -
osti oai (u.s. department of energy office of scientific and technical information)
Language(s) - Uncategorized
Resource type - Reports
DOI - 10.2172/1617328
Subject(s) - computer science , correctness , compiler , posix threads , porting , software verification , fortran , software , software engineering , domain (mathematical analysis) , programming language , parallel computing , software development , software construction , mathematical analysis , mathematics , thread (computing)
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom