( en | de | ru )

 

Disambiguierung von "Hermenegildo, Manuel V."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs.

, , , und . Sci. Comput. Program., 30 (1-2): 51-82 (1998)

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 Role of Computational Logic as a Hinge Paradigm among Deduction, Problem Solving, Programming, and Parallelism.. AIFIPP, Volume A-27 von IFIP Transactions, Seite 207-221. North-Holland, (1992)Abstraction-Carrying Code: a Model for Mobile Code Safety., , und . New Generation Comput., 26 (2): 171-204 (2008)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)Designing a high performance parallel logic programming system., und . SIGARCH Comput. Archit. News, 15 (1): 43-52 (1987)Towards Energy Consumption Verification via Static Analysis., , , , und . CoRR, (2015)A study of set-sharing analysis via cliques., , und . CoRR, (2005)Global Analysis of Standard Prolog Programs., , , und . ESOP, Volume 1058 von Lecture Notes in Computer Science, Seite 108-124. Springer, (1996)Abstract Interpretation-Based Mobile Code Certification., , und . ICLP, Volume 3132 von Lecture Notes in Computer Science, Seite 446-447. Springer, (2004)Efficient Top-Down Set-Sharing Analysis Using Cliques., , und . PADL, Volume 3819 von Lecture Notes in Computer Science, Seite 183-198. 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)