( 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

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)Static Differential Program Analysis for Software-Defined Networks., , und . FM, Volume 9109 von Lecture Notes in Computer Science, Seite 395-413. Springer, (2015)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 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)Verifying cross-cutting features as open systems., , und . SIGSOFT FSE, Seite 89-98. ACM, (2002)