Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Aditi Kabra"'
Publikováno v:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 41:4409-4420
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8a31783a3d2f869461140d4f86148802
https://doi.org/10.1109/tcad.2022.3197690
https://doi.org/10.1109/tcad.2022.3197690
Publikováno v:
Proceedings of the ACM on Programming Languages. 4:1-25
In domains that deal with physical space and geometry, programmers need to track the coordinate systems that underpin a computation. We identify a class of geometry bugs that arise from confusing which coordinate system a vector belongs to. These bug
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fb152ad5eb6965ac51a9f090e864a3a8
https://doi.org/10.1145/3428241
https://doi.org/10.1145/3428241
Publikováno v:
TAPAS@SPLASH
Systems of transformations arise in many programming systems, such as in graphs of implicit type conversion functions. It is important to ensure that these diagrams commute: that composing any path of transformations from the same source to the same
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9291fd123c8f44b31eb61468801b1948
https://doi.org/10.1145/3427764.3428322
https://doi.org/10.1145/3427764.3428322