Zobrazeno 1 - 10
of 36
pro vyhledávání: '"Alexander J. Summers"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 8, Issue 3 (2012)
Separation logic is a concise method for specifying programs that manipulate dynamically allocated storage. Partially inspired by separation logic, Implicit Dynamic Frames has recently been proposed, aiming at first-order tool support. In this paper,
Externí odkaz:
https://doaj.org/article/d886fe2653c04c3cbabad53ed2a6c8c6
Publikováno v:
Proceedings of the ACM on Programming Languages, 6 (OOPSLA2)
Proceedings of the ACM on Programming Languages, 6 (OOPSLA2)
ISSN:2475-1421
ISSN:2475-1421
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f56f8669c14a0826e9ab1eebf9177558
https://doi.org/10.1145/3563326
https://doi.org/10.1145/3563326
Autor:
Alexander J. Summers, Jasmine P. Devadhasan, Jian Gu, Douglas C. Montgomery, Brittany Fischer, Marcellene A. Gates-Hollingsworth, Kathryn J. Pflughoeft, Tuan Vo-Dinh, David P. AuCoin, Frederic Zenhausern
Publikováno v:
ACS Omega. 7:32262-32271
Antibody microarrays have proven useful in immunoassay-based point-of-care diagnostics for infectious diseases. Noncontact piezoelectric inkjet printing has advantages to print antibody microarrays on nitrocellulose substrates for this application du
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ac4afd3588f6594525e2d829998be604
https://doi.org/10.1021/acsomega.2c03595
https://doi.org/10.1021/acsomega.2c03595
Publikováno v:
Proceedings of the ACM on Programming Languages, 5 (OOPSLA)
Smart contracts are programs that execute in blockchains such as Ethereum to manipulate digital assets. Since bugs in smart contracts may lead to substantial financial losses, there is considerable interest in formally proving their correctness. Howe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8dd10cfa187c523acc5f3e0fdecd42cb
https://doi.org/10.1145/3485523
https://doi.org/10.1145/3485523
Publikováno v:
Proceedings of the ACM on Programming Languages, 5 (OOPSLA)
Closures are a language feature supported by many mainstream languages, combining the ability to package up references to code blocks with the possibility of capturing state from the environment of the closure's declaration. Closures are powerful, bu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::710eb2673735f52dcc8bd83f20d2c6ea
https://doi.org/10.1145/3485522
https://doi.org/10.1145/3485522
Autor:
Jin G Park, Samantha Carotenuto, Alexander J Summers, Jing Wei, Xiaokuang Ma, Ross Johnson, Nicole Teru Quintus, Shenfeng Qiu, Hee-Dae Kim, Deveroux Ferguson, Chenxi Xu, Tanessa Call
Publikováno v:
Molecular Psychiatry. 26:7316-7327
Depression is the leading cause of disability and produces enormous health and economic burdens. Current treatment approaches for depression are largely ineffective and leave more than 50% of patients symptomatic, mainly because of non-selective and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e38127a2b8a403447581c1fc0c823862
https://doi.org/10.1038/s41380-021-01217-8
https://doi.org/10.1038/s41380-021-01217-8
Autor:
Alexander J. Summers, Houshang Yin, Ralf D. Fischer, Barton C. Prorok, Xiaoyuan Lou, Q. Peter He
Publikováno v:
2022 American Control Conference (ACC).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b1e23e1e01d6334f475e436a2b25a6b3
https://doi.org/10.23919/acc53348.2022.9867290
https://doi.org/10.23919/acc53348.2022.9867290
Publikováno v:
Programming Languages and Systems
Programming Languages and Systems ISBN: 9783030449131
ESOP
Lecture Notes in Computer Science, 12075
Local Reasoning for Global Graph Properties
Programming Languages and Systems ISBN: 9783030449131
ESOP
Lecture Notes in Computer Science, 12075
Local Reasoning for Global Graph Properties
Separation logics are widely used for verifying programs that manipulate complex heap-based data structures. These logics build on so-called separation algebras, which allow expressing properties of heap regions such that modifications to a region do
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4f0f43641d9067cde192e42f37a4c105
http://europepmc.org/articles/PMC7702264
http://europepmc.org/articles/PMC7702264
Autor:
Alexander J. Summers, Peter Müller
Publikováno v:
International Journal on Software Tools for Technology Transfer. 22:709-728
Writing correct programs for weak-memory models such as the C11 memory model is challenging because of the weak consistency guarantees these models provide. The first program logics for the verification of such programs have recently been proposed, b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9918cd0dfccc2ed3d7b4521b80ba4824
https://doi.org/10.1007/s10009-020-00559-y
https://doi.org/10.1007/s10009-020-00559-y
Publikováno v:
Computer Aided Verification ISBN: 9783031131875
Lecture Notes in Computer Science, 13372
Computer Aided Verification
Lecture Notes in Computer Science, 13372
Computer Aided Verification
The magic wand −∗ (also called separating implication) is a separation logic connective commonly used to specify properties of partial data structures, for instance during iterative traversals. A footprint of a magic wand formula A −∗ B is a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::78335b6b4daea614a5de80af5a8e745e
