Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Ingkarat Rak-amnouykit"'
Publikováno v:
International Symposium on Software Testing and Analysis
ISSTA 2022-31st ACM SIGSOFT International Symposium on Software Testing and Analysis
ISSTA 2022-31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Jul 2022, Virtual, South Korea. ⟨10.1145/3533767.3534400⟩
ISSTA 2022-31st ACM SIGSOFT International Symposium on Software Testing and Analysis
ISSTA 2022-31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Jul 2022, Virtual, South Korea. ⟨10.1145/3533767.3534400⟩
International audience; Machine-learning operators often have correctness constraints that cut across multiple hyperparameters and/or data. Violating these constraints causes the operator to raise runtime exceptions, but those are usually documented
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2d02305cde5f23b00e21b96dbd110338
https://hal.science/hal-03891774/document
https://hal.science/hal-03891774/document
Publikováno v:
DLS
Python 3 is a highly dynamic language, but it has introduced a syntax for expressing types with PEP484. This paper explores how developers use these type annotations, the type system semantics provided by type checking and inference tools, and the pe