( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Wasm SpecTec: Engineering a Formal Language Standard.

, , , , , , , , , , и . CoRR, (2023)

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.

Philippa Gardner

Philippa Paternot

Philippa Durst

Philippa Söldenwagner

Philippa Bordt

 

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

A Program Logic for First-Order Encapsulated WebAssembly., , , и . ECOOP, том 134 из LIPIcs, стр. 9:1-9:30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)A Spatial Logic for Querying Graphs., , и . ICALP, том 2380 из Lecture Notes in Computer Science, стр. 597-610. Springer, (2002)Wasm SpecTec: Engineering a Formal Language Standard., , , , , , , , , и 1 other автор(ы). CoRR, (2023)Gillian: A Multi-Language Platform for Unified Symbolic Analysis., , , и . CoRR, (2021)Concurrent Separation Logics: Logical Abstraction, Logical Atomicity and Environment Liveness Conditions (Invited Talk).. CONCUR, том 243 из LIPIcs, стр. 2:1-2:1. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Two Mechanisations of WebAssembly 1.0., , , , и . FM, том 13047 из Lecture Notes in Computer Science, стр. 61-79. Springer, (2021)A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications., , , и . ECOOP, том 166 из LIPIcs, стр. 28:1-28:29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact)., , , и . Dagstuhl Artifacts Ser., 6 (2): 05:1-05:3 (2020)JaVerT 2.0: compositional symbolic execution for JavaScript., , , и . Proc. ACM Program. Lang., 3 (POPL): 66:1-66:31 (2019)Symbolic Debugging with Gillian., , и . DEBT@SIGMOD, стр. 1-2. ACM, (2023)