( en | de | ru )

 

Disambiguierung von "Krishnamurthi, Shriram"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Problematic and Persistent Post-Secondary Program Performance Preconceptions.

, , , und . Koli Calling, Seite 1:1-1:6. ACM, (2022)

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)Developing Behavioral Concepts of Higher-Order Functions., und . ICER, Seite 306-318. ACM, (2021)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)The behavior of gradual types: a user study., , , und . DLS, Seite 1-12. ACM, (2018)Static Differential Program Analysis for Software-Defined Networks., , und . FM, Volume 9109 von Lecture Notes in Computer Science, Seite 395-413. Springer, (2015)Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine)., , , und . ICFP, Seite 138-147. ACM, (1999)SIGPLAN Notices 34(9), September 1999.The power of "why" and "why not": enriching scenario exploration with provenance., , , und . ESEC/SIGSOFT FSE, Seite 106-116. ACM, (2017)Alchemy: transmuting base alloy specifications into implementations., , , und . SIGSOFT FSE, Seite 158-169. ACM, (2008)