( en | de | ru )

 

Disambiguierung von "Garbervetsky, Diego"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability.

, , und . ICOOOLPS@ECOOP, Seite 3:1-3:5. ACM, (2017)

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.

Alexander Diego

Jesús Diego Linares

Diego Arenhoevel

Diego Tonolla

Diego Feijóo

 

Weitere Publikationen von Autoren mit dem selben Namen

Developing tools as plug-ins: TOPI 2012 special issue., und . Softw. Pract. Exp., 44 (3): 259-260 (2014)A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability, , und . Proceedings of the 11th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, Seite 5. (19.06.2017)Enforcing Structural Invariants Using Dynamic Frames., , und . TACAS, Volume 6605 von Lecture Notes in Computer Science, Seite 65-80. Springer, (2011)Fully Reflective Execution Environments: Virtual Machines for More Flexible Software., , , und . IEEE Trans. Software Eng., 45 (9): 858-876 (2019)Towards fully reflective environments., , , und . Onward!, Seite 240-253. ACM, (2015)Building efficient and highly run-time adaptable virtual machines., , und . DLS, Seite 60-71. ACM, (2016)Predicate abstractions for smart contract validation., , , und . MoDELS, Seite 289-299. ACM, (2022)High-Coverage Testing of Navigation Models in Android Applications., , und . AST@ICSE, Seite 52-58. IEEE Computer Society, (2017)Reducing the Number of Annotations in a Verification-oriented Imperative Language, , und . CoRR, (2010)Improving the Verification of Timed Systems Using Influence Information., , und . TACAS, Volume 2280 von Lecture Notes in Computer Science, Seite 21-36. Springer, (2002)