( en | de | ru )

 

Disambiguierung von "Krishnamurthi, Shriram"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Racket Manifesto.

, , , , , , und . SNAPL, Volume 32 von LIPIcs, Seite 113-128. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Krishnamurthi, Shriram
Eine Person hinzufügen mit dem Namen Krishnamurthi, Shriram
 

Weitere Publikationen von Autoren mit dem selben Namen

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