@techreport{uecker:hal-03408023, TITLE = {{Indeterminate Values and Trap Representations}}, AUTHOR = {Uecker, Martin and Gustedt, Jens}, URL = {https://inria.hal.science/hal-03408023}, TYPE = {Research Report}, NUMBER = {2772}, PAGES = {11}, INSTITUTION = {{ISO TC1/SC22/WG14}}, YEAR = {2021}, MONTH = Jul, HAL_ID = {hal-03408023}, HAL_VERSION = {v1}, }