Zobrazeno 1 - 10
of 475
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:
Elston, Wolfgang E.
Publikováno v:
American Scientist, 1985 Nov 01. 73(6), 581-581.
Externí odkaz:
https://www.jstor.org/stable/27853505
Autor:
Mayer, William V.
Publikováno v:
The Quarterly Review of Biology, 1974 Sep 01. 49(3), 247-248.
Externí odkaz:
https://www.jstor.org/stable/2822826
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:
The American Biology Teacher, 1979 May 01. 41(5), 314-314.
Externí odkaz:
https://www.jstor.org/stable/4446607
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