Autor der Publikation

Towards Region-Based Memory Management for Mercury Programs.

, und . ICLP, Volume 4079 von Lecture Notes in Computer Science, Seite 433-435. Springer, (2006)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Region-based memory management for Mercury programs, , und . CoRR, (2012)A Delta Debugger for ILP Query Execution, und . CoRR, (2007)Analyzing & debugging ILP data mining query execution., und . AADEBUG, Seite 105-110. ACM, (2005)Static Region Analysis for Mercury., und . ICLP, Volume 4670 von Lecture Notes in Computer Science, Seite 317-332. Springer, (2007)Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs., und . META, Volume 649 von Lecture Notes in Computer Science, Seite 294-307. Springer, (1992)ProbLog Technology for Inference in a Probabilistic First Order Logic., , , , , , und . ECAI, Volume 215 von Frontiers in Artificial Intelligence and Applications, Seite 719-724. IOS Press, (2010)Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis., , , und . APLAS, Volume 3780 von Lecture Notes in Computer Science, Seite 330-346. Springer, (2005)Experience with widening based equivalence checking in realistic multimedia systems., , , , und . HLDVT, Seite 122-129. IEEE Computer Society, (2009)Practical Aspects for a Working Compile Time Garbage Collection System for Mercury, , , und . CoRR, (2001)Fast Frequent Querying with Lazy Control Flow Compilation., , , und . Theory Pract. Log. Program., 7 (4): 481-498 (2007)