( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Interfaces for stack inspection.

, , и . J. Funct. Program., 15 (2): 179-217 (2005)

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.

Thomas Jensen

Thomas Jensen

Thomas P Gysler

P Thomas Locher

Thomas P Müller

 

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

Compiling Sandboxes: Formally Verified Software Fault Isolation., , , , и . ESOP, том 11423 из Lecture Notes in Computer Science, стр. 499-524. Springer, (2019)Guest editors' introduction: Special issue on Formal Methods for Smart Cards., и . J. Log. Algebraic Methods Program., 58 (1-2): 1-2 (2004)Validation du contrôle d'accès dans des cartes à puce multiapplications., и . Technique et Science Informatiques, 23 (3): 323-357 (2004)Computing Stack Maps with Interfaces., , и . ECOOP, том 5142 из Lecture Notes in Computer Science, стр. 642-666. Springer, (2008)Secure Object Flow Analysis for Java Card., и . CARDIS, стр. 97-110. USENIX, (2002)Inference of Polymorphic and Conditional Strictness Properties.. POPL, стр. 209-221. ACM, (1998)A Backwards Analysis for Compile-time Garbage Collection., и . ESOP, том 432 из Lecture Notes in Computer Science, стр. 227-239. Springer, (1990)Polyhedral Analysis for Synchronous Languages., , и . SAS, том 1694 из Lecture Notes in Computer Science, стр. 51-68. Springer, (1999)SawjaCard: A Static Analysis Tool for Certifying Java Card Applications., , и . SAS, том 8723 из Lecture Notes in Computer Science, стр. 51-67. Springer, (2014)Certified Result Checking for Polyhedral Analysis of Bytecode Programs., , , и . TGC, том 6084 из Lecture Notes in Computer Science, стр. 253-267. Springer, (2010)