( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Polymorphic predicate abstraction.

, , и . ACM Trans. Program. Lang. Syst., 27 (2): 314-343 (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.

Todd Templeton

Catarina Alice Todd

Todd Sepke

Todd Foy

Todd Papaioannou

 

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

Can You Fool Me? Towards Automatically Checking Protocol Gullibility., , , и . HotNets, стр. 31-36. ACM SIGCOMM, (2008)Accelerating sequential consistency for Java with speculative compilation., , и . PLDI, стр. 16-30. ACM, (2019)Inference of User-Defined Type Qualifiers and Qualifier Rules., , , и . ESOP, том 3924 из Lecture Notes in Computer Science, стр. 264-278. Springer, (2006)Static Reasoning about Programs and Queries.. PCK50, стр. 28-34. ACM, (2003)Probabilistic Program Abstractions., , и . UAI, AUAI Press, (2017)SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers., , , и . NSDI, стр. 307-323. USENIX Association, (2022)What do LLMs need to Synthesize Correct Router Configurations?, , , , и . HotNets, стр. 189-195. ACM, (2023)Navigational Plans for Data Integration., , и . Intelligent Information Integration, том 23 из CEUR Workshop Proceedings, CEUR-WS.org, (1999)Multiple Dispatch as Dispatch on Tuples., и . OOPSLA, стр. 374-387. ACM, (1998)SIGPLAN Notices 33(10).Sound Abstraction and Decomposition of Probabilistic Programs., , и . ICML, том 80 из Proceedings of Machine Learning Research, стр. 2004-2013. PMLR, (2018)