( en | de | ru )

 

Disambiguierung von "Hermenegildo, Manuel V."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards a Complete Scheme for Tabled Execution Based on Program Transformation.

, , und . PADL, Volume 5418 von Lecture Notes in Computer Science, Seite 224-238. Springer, (2009)

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 Fendrich

 

Weitere Publikationen von Autoren mit dem selben Namen

Abstract Interpretation with Specialized Definitions., , und . SAS, Volume 4134 von Lecture Notes in Computer Science, Seite 107-126. Springer, (2006)Precise Set Sharing Analysis for Java-Style Programs., und . VMCAI, Volume 4905 von Lecture Notes in Computer Science, Seite 172-187. Springer, (2008)Efficient Top-Down Set-Sharing Analysis Using Cliques., , und . PADL, Volume 3819 von Lecture Notes in Computer Science, Seite 183-198. Springer, (2006)Global Analysis of Standard Prolog Programs., , , und . ESOP, Volume 1058 von Lecture Notes in Computer Science, Seite 108-124. Springer, (1996)On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs., , , , , , und . AADEBUG, Volume 2 von Linköping Electronic Articles in Computer and Information Science, Seite 155-169. Linköping University Electronic Press, (1997)Abstract Interpretation-Based Mobile Code Certification., , und . ICLP, Volume 3132 von Lecture Notes in Computer Science, Seite 446-447. Springer, (2004)Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types., , und . CoRR, (2013)Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs., , und . LOPSTR, Volume 4915 von Lecture Notes in Computer Science, Seite 138-153. Springer, (2007)An Improved Continuation Call-Based Implementation of Tabling., , , , und . PADL, Volume 4902 von Lecture Notes in Computer Science, Seite 197-213. Springer, (2008)Efficient local unfolding with ancestor stacks., , und . Theory Pract. Log. Program., 11 (1): 1-32 (2011)