Zobrazeno 1 - 10
of 24
pro vyhledávání: '"Toman, John"'
We present ConSORT, a type system for safety verification in the presence of mutability and aliasing. Mutability requires strong updates to model changing invariants during program execution, but aliasing between pointers makes it difficult to determ
Externí odkaz:
http://arxiv.org/abs/2002.07770
Autor:
Akers, John, Bansal, Gagan, Cadamuro, Gabriel, Chen, Christine, Chen, Quanze, Lin, Lucy, Mulcaire, Phoebe, Nandakumar, Rajalakshmi, Rockett, Matthew, Simko, Lucy, Toman, John, Wu, Tongshuang, Zeng, Eric, Zorn, Bill, Roesner, Franziska
Technology is increasingly used -- unintentionally (misinformation) or intentionally (disinformation) -- to spread false information at scale, with potentially broad-reaching societal effects. For example, technology enables increasingly realistic fa
Externí odkaz:
http://arxiv.org/abs/1812.09383
Autor:
Toman, John, Grossman, Dan
Modern software increasingly relies on external resources whose location or content can change during program execution. Examples of such resources include remote network hosts, database entries, dynamically updated configuration options, etc. Long r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f38061b2919d9f57128ff8673b9701ad
Autor:
Toman, John, Grossman, Dan
While industrial-strength static analysis over large, real-world codebases has become commonplace, so too have difficult-to-analyze language constructs, large libraries, and popular frameworks. These features make constructing and evaluating a novel,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8c1be3559751b152d60842f30e46e2c5
Autor:
Lawley, James H., Toman, John, Krumholtz, August, Soule, Gertrude V., Leavitt, C. Franklin, Bley, John C., Taylor, Graham, Curtis, Fred A.
Publikováno v:
Journal of the American Institute of Criminal Law and Criminology, 1915 Jul 01. 6(2), 299-304.
Externí odkaz:
https://www.jstor.org/stable/43885193
Autor:
Toman, John
Kilvert's World of Wonders takes a fresh look at the Victorian era, one that does not turn away from the smoke stacks and crowded streets of popular imagining, but which sees them from the distance of the rural countryside. Though a countryman and lo