Zobrazeno 1 - 2
of 2
pro vyhledávání: '"bit arithmetic operations"'
Publikováno v:
Electronic Notes in Theoretical Computer Science
Inferring precise relations between (the values of) program variables at different program points is essential for termination and resource usage analysis. In both cases, this information is used to synthesize ranking functions that imply the program
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::933850ab5e356f42916433b6ca8b2176
https://doi.org/10.1016/j.entcs.2011.11.002
https://doi.org/10.1016/j.entcs.2011.11.002
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.