( en | de | ru )

 

Disambiguierung von "Mera, Edison"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation.

, , , , und . ICLP, Volume 4079 von Lecture Notes in Computer Science, Seite 431-432. Springer, (2006)

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.

Edison Hasibuan

Edison Thomaz

Edison Capp

Mera Kuse

Gabriela Mera

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards execution time estimation in abstract machine-based languages., , , und . PPDP, Seite 174-184. ACM, (2008)An Overview of the Ciao System., , , , , , , und . RuleML Europe, Volume 6826 von Lecture Notes in Computer Science, Seite 2. Springer, (2011)Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling, , , , und . CoRR, (2007)User-Definable Resource Bounds Analysis for Logic Programs., , , und . ICLP, Volume 4670 von Lecture Notes in Computer Science, Seite 348-363. Springer, (2007)Porting and refactoring Prolog programs: the PROSYN case study., und . Theory Pract. Log. Program., (2013)Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation., , , , und . ICLP, Volume 4079 von Lecture Notes in Computer Science, Seite 431-432. Springer, (2006)An overview of Ciao and its design philosophy., , , , , , und . Theory Pract. Log. Program., 12 (1-2): 219-252 (2012)Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs., , , und . PADL, Volume 6539 von Lecture Notes in Computer Science, Seite 38-53. Springer, (2011)An overview of Ciao and its design philosophy, , , , , , und . CoRR, (2011)Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework., , und . ICLP, Volume 5649 von Lecture Notes in Computer Science, Seite 281-295. Springer, (2009)