SEARCH · Engineering Papers

Results for “C++, optimization, undefined behavior, contracts”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

1 records

All sources NASA NTRS DOE OSTI

DOE OSTI2025

Partial program correctness

Explore the source record for details and available documents.

C++, optimization, undefined behavior, contracts↗