Zobrazeno 1 - 10
of 165
pro vyhledávání: '"DICKERSON, ROBERT"'
Many interesting program properties involve the execution of multiple programs, including observational equivalence, noninterference, co-termination, monotonicity, and idempotency. One popular approach to reasoning about these sorts of relational pro
Externí odkaz:
http://arxiv.org/abs/2404.08106
Programmers often leverage data structure libraries that provide useful and reusable abstractions. Modular verification of programs that make use of these libraries naturally rely on specifications that capture important properties about how the libr
Externí odkaz:
http://arxiv.org/abs/2108.04783
Hoare-style program logics are a popular and effective technique for software verification. Relational program logics are an instance of this approach that enables reasoning about relationships between the execution of two or more programs. Existing
Externí odkaz:
http://arxiv.org/abs/2002.02904
Autor:
Townsend, Sean R., Phillips, Gary S., Duseja, Reena, Tefera, Lemeneh, Cruikshank, Derek, Dickerson, Robert, Nguyen, H. Bryant, Schorr, Christa A., Levy, Mitchell M., Dellinger, R. Phillip, Conway, William A., Browner, Warren S., Rivers, Emanuel P.
Publikováno v:
In Chest February 2022 161(2):392-406
Autor:
DICKERSON, ROBERT W.
Publikováno v:
Litigation, 2016 Jan 01. 42(2), 14-15.
Externí odkaz:
https://www.jstor.org/stable/26401915
Publikováno v:
In Journal of Archaeological Science: Reports June 2015 2:551-568
Autor:
Chen, Ching-Fong, King, Graham, Dickerson, Robert M., Papin, Pallas A., Gupta, Shiva, Kellogg, William R., Wu, Gang
Publikováno v:
In Nano Energy April 2015 13:423-432
Autor:
DICKERSON, ROBERT
Publikováno v:
The Classical Outlook, 2008 Jul 01. 85(4), 156-156.
Externí odkaz:
https://www.jstor.org/stable/43939234
Autor:
Deladisma, Adeline M., Cohen, Marc, Stevens, Amy, Wagner, Peggy, Lok, Benjamin, Bernard, Thomas, Oxendine, Christopher, Schumacher, Lori, Johnsen, Kyle, Dickerson, Robert, Raij, Andrew, Wells, Rebecca, Duerson, Margaret, Harper, J. Garrett, Lind, D. Scott
Publikováno v:
In The American Journal of Surgery 2007 193(6):756-760