( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Putting in all the stops: execution control for JavaScript.

, , , , и . PLDI, стр. 30-45. ACM, (2018)

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.

No persons found for author name Krishnamurthi, Shriram
add a person with the name Krishnamurthi, Shriram
 

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

Compiling Stateful Network Properties for Runtime Verification., , , , и . CoRR, (2016)ADsafety: Type-Based Verification of JavaScript Sandboxing., , , и . CoRR, (2015)Advanced control flows for flexible graphical user interfaces: or, growing GUIs on trees or, bookmarking GUIs., и . ICSE, стр. 277-287. ACM, (2002)Web Verification: Perspective and Challenges.. WWV, DSIC-II/03/05, стр. 3-8. Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, (2005)Educational Pearl: Automata via macros.. J. Funct. Program., 16 (3): 253-267 (2006)The behavior of gradual types: a user study., , , и . DLS, стр. 1-12. ACM, (2018)Developing Behavioral Concepts of Higher-Order Functions., и . ICER, стр. 306-318. ACM, (2021)Prototyping Formal Methods Tools: A Protocol Analysis Case Study., , , , и . Protocols, Strands, and Logic, том 13066 из Lecture Notes in Computer Science, стр. 394-413. Springer, (2021)Static Differential Program Analysis for Software-Defined Networks., , и . FM, том 9109 из Lecture Notes in Computer Science, стр. 395-413. Springer, (2015)A programmable programming language., , , , , , и . Commun. ACM, 61 (3): 62-71 (2018)