( en | de | ru )

 

Disambiguierung von "Hermenegildo, Manuel V."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Automatic Translation Scheme from Prolog to the Andorra Kernel Language.

, und . FGCS, Seite 759-769. IOS Press, (1992)

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 Ustinov

V Fendrich

V Adams

 

Weitere Publikationen von Autoren mit dem selben Namen

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)Heap analysis in the presence of collection libraries., , , und . PASTE, Seite 31-36. ACM, (2007)Analyzing Logic Programs with Dynamic Scheduling., , und . POPL, Seite 240-253. ACM Press, (1994)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)An Overview of the Ciao System., , , , , , , und . RuleML Europe, Volume 6826 von Lecture Notes in Computer Science, Seite 2. Springer, (2011)&ACE: a high-performance parallel Prolog system., , und . IPPS, Seite 564-571. IEEE Computer Society, (1995)