( en | de | ru )

 

Disambiguierung von "Hermenegildo, Manuel V."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Supporting Pruning in Tabled LP.

, , und . PADL, Volume 7752 von Lecture Notes in Computer Science, Seite 60-76. Springer, (2013)

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.

V Geoffroy

V Saile

V Adams

V Fendrich

V Ustinov

 

Weitere Publikationen von Autoren mit dem selben Namen

The DCG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism., und . ICLP, Seite 221-236. MIT Press, (1990)Some Paradigms for Visualizing Parallel Execution of Logic Programs., , und . ICLP, Seite 184-200. MIT Press, (1993)The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems., , , , , , und . APPIA-GULP-PRODE, Seite 105-110. (1996)Efficient Term Size Computation for Granularity Control., und . ICLP, Seite 647-661. MIT Press, (1995)Non-Failure Analysis for Logic Programs., , und . ICLP, Seite 48-62. MIT Press, (1997)Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks., , , und . CoRR, (2016)Analyzing Logic Programs with Dynamic Scheduling., , und . POPL, Seite 240-253. ACM Press, (1994)Heap analysis in the presence of collection libraries., , , und . PASTE, Seite 31-36. ACM, (2007)A Generic Processor for Program Validation and Debugging., , und . Analysis and Visualization Tools for Constraint Programming, Volume 1870 von Lecture Notes in Computer Science, Seite 63-107. Springer, (2000)A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs., , und . LOPSTR, Volume 4915 von Lecture Notes in Computer Science, Seite 154-168. Springer, (2007)