( en | de | ru )

 

Disambiguierung von "Hermenegildo, Manuel V."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
&-Prolog and its Performance: Exploiting Independent And-Parallelism.

, und . ICLP, Seite 253-268. MIT Press, (1990)

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 Saile

V Geoffroy

V Wittwer

V Ustinov

V Adams

 

Weitere Publikationen von Autoren mit dem selben Namen

Preface., , , und . Fundam. Informaticae, (2020)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)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)Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks., , , und . CoRR, (2016)Context-Sensitive Multivariant Assertion Checking in Modular Programs., , , und . LPAR, Volume 4246 von Lecture Notes in Computer Science, Seite 392-406. Springer, (2006)A Framework for Assertion-Based Debugging in Constraint Logic Programming., , und . CP, Volume 1520 von Lecture Notes in Computer Science, Seite 472. Springer, (1998)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)