Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Li Huisong"'
Publikováno v:
Proceedings of SPIE; May 2024, Vol. 13159 Issue: 1 p131592C-131592C-7, 1184336p
Publikováno v:
2022 IEEE 4th International Conference on Power, Intelligent Computing and Systems (ICPICS).
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.
Autor:
Li, Huisong
Publikováno v:
Programming Languages [cs.PL]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEE060⟩
Shape analyses rely on expressive families of logical properties to infer complex structural invariants, such that memory safety, structure preservation and other memory properties of programs dealing with dynamic data structures can be automatically
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::605bd13b562db1be6aaf1dbe97ba6d93
https://theses.hal.science/tel-01963082
https://theses.hal.science/tel-01963082
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.
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.
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.
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.
Publikováno v:
Logic for Programming, Artificial Intelligence & Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings; 2015, p356-371, 16p
Publikováno v:
Fundamentals of Software Engineering: 6th International Conference, FSEN 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers; 2015, p90-108, 19p