( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Information flow analysis for a dynamically typed language with staged metaprogramming.

, , и . J. Comput. Secur., 24 (5): 541-582 (2016)

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.

Kilian Ong

Untersuchung von Schichtsystemen für kristallisierte Dünnschichtsiliziumsolarzellen auf Glas. TU Hamburg, (2009)

Arlene Ong

Hoang Ong

Ratna Ong

Heidrun Ong

 

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

Higher-Order Model Checking: An Overview.. LICS, стр. 1-15. IEEE Computer Society, (2015)Nonparametric Hamiltonian Monte Carlo., , и . ICML, том 139 из Proceedings of Machine Learning Research, стр. 7336-7347. PMLR, (2021)Information flow analysis for a dynamically typed language with staged metaprogramming., , и . J. Comput. Secur., 24 (5): 541-582 (2016)Probabilistic Verification Beyond Context-Freeness., , и . LICS, стр. 33:1-33:13. ACM, (2022)Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking.. LATA, том 7810 из Lecture Notes in Computer Science, стр. 13-41. Springer, (2013)Higher-Order Model Checking (NII Shonan Meeting 2016-4)., , и . NII Shonan Meet. Rep., (2016)Expectation Programming., , , и . CoRR, (2021)Nonparametric Involutive Markov Chain Monte Carlo., , и . ICML, том 162 из Proceedings of Machine Learning Research, стр. 14802-14859. PMLR, (2022)Rethinking Variational Inference for Probabilistic Programs with Stochastic Support., , и . NeurIPS, (2022)On probabilistic termination of functional programs with continuous distributions., и . PLDI, стр. 1312-1326. ACM, (2021)