Zobrazeno 1 - 10
of 75
pro vyhledávání: '"Freund, Stephen N."'
Autor:
Flanagan, Cormac, Freund, Stephen N.
Rely-guarantee (RG) logic uses thread interference specifications (relies and guarantees) to reason about the correctness of multithreaded software. Unfortunately, RG logic requires each function postcondition to be "stabilized" or specialized to the
Externí odkaz:
http://arxiv.org/abs/2407.08070
Debugging is a critical but challenging task for programmers. This paper proposes ChatDBG, an AI-powered debugging assistant. ChatDBG integrates large language models (LLMs) to significantly enhance the capabilities and user-friendliness of conventio
Externí odkaz:
http://arxiv.org/abs/2403.16354
Autor:
Flanagan, Cormac1, Freund, Stephen N.2
Publikováno v:
Communications of the ACM. Nov2010, Vol. 53 Issue 11, p93-101. 9p. 5 Diagrams, 2 Charts.
Publikováno v:
In Theoretical Computer Science 2005 338(1):153-183
Publikováno v:
ACM / SIGPLAN Notices; Jan2018, Vol. 53 Issue 1, p354-367, 14p
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:
ACM / SIGPLAN Notices; Jun2017, Vol. 52 Issue 6, p141-156, 16p
Publikováno v:
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE); 2015, p155-165, 11p
Autor:
Flanagan, Cormac, Freund, Stephen N.
Publikováno v:
ECOOP 2013 - Object-Oriented Programming; 2013, p255-280, 26p
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.