( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automatic type inference via partial evaluation.

, и . PPDP, стр. 106-116. ACM, (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.

Kurt Aaron

Siegfried Aaron

Else Aaron

Gerd Tomberger

Corinna Tomberger

 

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

Continuous Formal Verification of Amazon s2n., , , , , , , , , и 2 other автор(ы). CAV (2), том 10982 из Lecture Notes in Computer Science, стр. 430-446. Springer, (2018)Multi-App Security Analysis with FUSE: Statically Detecting Android App Collusion., , , , , и . PPREW@ACSAC, стр. 4:1-4:10. ACM, (2014)SAW: the software analysis workbench., , , , и . HILT, стр. 15-18. ACM, (2013)Detecting inconsistencies via universal reachability analysis., и . ISSTA, стр. 287-297. ACM, (2012)Space-efficient gradual typing., , и . High. Order Symb. Comput., 23 (2): 167-189 (2010)Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System., , , и . CAV (2), том 10982 из Lecture Notes in Computer Science, стр. 413-429. Springer, (2018)TrackOS: A Security-Aware Real-Time Operating System., , , , и . RV, том 10012 из Lecture Notes in Computer Science, стр. 302-317. Springer, (2016)Automatic type inference via partial evaluation., и . PPDP, стр. 106-116. ACM, (2005)Variably interprocedural program analysis for runtime error detection., , и . ISSTA, стр. 97-107. ACM, (2007)Constructing Semantic Models of Programs with the Software Analysis Workbench., , , , , и . VSTTE, том 9971 из Lecture Notes in Computer Science, стр. 56-72. (2016)