( en | de | ru )

 

Disambiguierung von "Mezini, Mira"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A co-contextual formulation of type rules and its application to incremental type checking.

, , , , und . OOPSLA, Seite 880-897. ACM, (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.

Juan Peter Miranda

Roland Miram

Maryam Mira madi

Amin Mirahmadi

Said Mirahmadi

 

Weitere Publikationen von Autoren mit dem selben Namen

Dynamic Object Evolution without Name Collisions.. ECOOP, Volume 1241 von Lecture Notes in Computer Science, Seite 190-219. Springer, (1997)Separation of Concerns with Procedures, Annotations, Advice and Pointcuts., und . ECOOP, Volume 3586 von Lecture Notes in Computer Science, Seite 195-213. Springer, (2005)Connectors for bridging mismatches between the components of a software engineering environment., und . IEE Proc. Softw., 148 (3): 104-111 (2001)Versatile event correlation with algebraic effects., , , , , und . Proc. ACM Program. Lang., 2 (ICFP): 67:1-67:31 (2018)Algebraic Replicated Data Types: Programming Secure Local-First Software (Artifact)., , , und . Dagstuhl Artifacts Ser., 9 (2): 26:1-26:4 (2023)Semi-automatically extracting FAQs to improve accessibility of software development knowledge., , und . ICSE, Seite 793-803. IEEE Computer Society, (2012)pi: a pattern language., und . OOPSLA, Seite 503-522. ACM, (2009)GRASS: generic reactive application-specific scheduling., , , , , und . REBLS@SPLASH, Seite 21-30. ACM, (2019)jGuard: Programming Misuse-Resilient APIs., , , und . SLE, Seite 161-174. ACM, (2022)Getting to know you: towards a capability model for Java., , , und . Software Engineering, Volume P-252 von LNI, Seite 59-60. GI, (2016)