( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
From C to interaction trees: specifying, verifying, and testing a networked server.

, , , , , , , , и . CPP, стр. 234-248. ACM, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Steve Völler

Steve Tonah

Steve Blechschmidt

Steve Pasek

Steve Hentges

 

Другие публикации лиц с тем же именем

WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking., , и . CGO, стр. 175. ACM, (2014)Lightweight linear types in system fdegree., , и . TLDI, стр. 77-88. ACM, (2010)Application-level concurrency: combining events and treads: invited talk.. DAMP, стр. 2. ACM, (2007)Mechanized Metatheory for the Masses: The PoplMark Challenge., , , , , , , , , и . TPHOLs, том 3603 из Lecture Notes in Computer Science, стр. 50-65. Springer, (2005)Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces., и . Sci. Ann. Comput. Sci., 24 (2): 325-368 (2014)Synthesizing Trajectory Queries from Examples., , , и . CAV (1), том 13964 из Lecture Notes in Computer Science, стр. 459-484. Springer, (2023)Enforcing Robust Declassification., , и . CSFW, стр. 172-186. IEEE Computer Society, (2004)Observational Determinism for Concurrent Program Security., и . CSFW, стр. 29-. IEEE Computer Society, (2003)Example-directed synthesis: a type-theoretic interpretation., , , и . POPL, стр. 802-815. ACM, (2016)Semantics for Noninterference with Interaction Trees., , , , и . ECOOP, том 263 из LIPIcs, стр. 29:1-29:29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)