( en | de | ru )

 

Disambiguierung von "Hermenegildo, Manuel V."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An overview of Ciao and its design philosophy

, , , , , , und . CoRR, (2011)https://cliplab.org/papers/hermenegildo10:ciao-design-tplp-tr.pdf.

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 Wittwer

V Ustinov

V Adams

 

Weitere Publikationen von Autoren mit dem selben Namen

Heap analysis in the presence of collection libraries., , , und . PASTE, Seite 31-36. ACM, (2007)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)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)Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types., , und . CoRR, (2014)Towards Independent And-Parallelism in CLP., , und . PLILP, Volume 1140 von Lecture Notes in Computer Science, Seite 77-91. Springer, (1996)Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation., , , und . LOPSTR, Volume 14330 von Lecture Notes in Computer Science, Seite 28-38. Springer, (2023)An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy., , , , , und . Concurrency, Graphs and Models, Volume 5065 von Lecture Notes in Computer Science, Seite 209-237. Springer, (2008)