( en | de | ru )

 

Disambiguierung von "Lu, Lunjin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Semantics-based Refinement of Mandatory Behavior of Sequence Diagrams

, und . CoRR, (2010)

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.

Lu Lu

Jing Lu

Lu Zhang

Yanfeng Lu

Qianhao Lu

 

Weitere Publikationen von Autoren mit dem selben Namen

Parametrizing Program Analysis by Lifting to Cardinal Power Domains. CoRR, (2010)Semantics-based Refinement of Mandatory Behavior of Sequence Diagrams, und . CoRR, (2010)Lazy Set-Sharing Analysis., , und . FLOPS, Volume 3945 von Lecture Notes in Computer Science, Seite 177-191. Springer, (2006)Backward Pair Sharing Analysis., und . FLOPS, Volume 2998 von Lecture Notes in Computer Science, Seite 132-146. Springer, (2004)A Generic Declarative Diagnoser for Normal Logic Programs.. LPAR, Volume 822 von Lecture Notes in Computer Science, Seite 290-304. Springer, (1994)An Operational Semantics of Starlog., und . PPDP, Volume 1702 von Lecture Notes in Computer Science, Seite 294-310. Springer, (1999)A Regular Type Analysis of Logic Programs., und . ICLP, Seite 613. MIT Press, (1999)Incremental Computation of Success Patterns of Logic Programs.. JSEA, 3 (3): 198-207 (2010)Type Analysis of Logic Programs in the Presence of Type Definitions.. PEPM, Seite 241-252. ACM Press, (1995)Path dependent analysis of logic programs.. PEPM, Seite 63-74. ACM, (2002)