( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Complete First-Order Reasoning for Properties of Functional Programs.

, , , и . Proc. ACM Program. Lang., 7 (OOPSLA2): 1063-1092 (октября 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.

Jamsinhji Jhala

Ranjit Bhardwaj

Chirag Ashokkumar Jhala

Ranjit Kumaresan

Ranjit Bhardwaj

 

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

Building Distributed Systems Using Mace., , , , и . Peer-to-Peer Computing, стр. 91-92. IEEE, (2009)Mechanizing Refinement Types., , и . Proc. ACM Program. Lang., 8 (POPL): 2099-2128 (января 2024)Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong)., , и . J. Funct. Program., (2018)Structural Invariants., , и . SAS, том 4134 из Lecture Notes in Computer Science, стр. 71-87. Springer, (2006)Flux: Liquid Types for Rust., , , , и . CoRR, (2022)Lazy abstraction., , , и . POPL, стр. 58-70. ACM, (2002)ACM SIGPLAN Notices 37(1), January 2002.Type-based data structure verification., , и . PLDI, стр. 304-315. ACM, (2009)STORM: Refinement Types for Secure Web Applications., , , , , , , и . OSDI, стр. 441-459. USENIX Association, (2021)Invited talk: the blast query language for software verification., , , , и . PEPM, стр. 201-202. ACM, (2004)Counterexample-guided Planning., , , и . UAI, стр. 104-111. AUAI Press, (2005)