( en | de | ru )

 

Disambiguierung von "Le, Quang Loc"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automatic Data Structure Repair usingSeparation Logic.

, , , und . ACM SIGSOFT Softw. Eng. Notes, 43 (4): 66 (2018)

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.

Le Phuoc Loc

Hieu Quang Le

Quang Le Van

Bao-Le Quang

Quang Le Hanh

 

Weitere Publikationen von Autoren mit dem selben Namen

A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification., , , , , und . CAV, Volume 6806 von Lecture Notes in Computer Science, Seite 293-309. Springer, (2011)A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic., , , und . CAV (2), Volume 10427 von Lecture Notes in Computer Science, Seite 495-517. Springer, (2017)Compositional Satisfiability Solving in Separation Logic.. VMCAI, Volume 12597 von Lecture Notes in Computer Science, Seite 578-602. Springer, (2021)An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic., und . FoSSaCS, Volume 13992 von Lecture Notes in Computer Science, Seite 477-497. Springer, (2023)Concolic Testing Heap-Manipulating Programs., , , und . FM, Volume 11800 von Lecture Notes in Computer Science, Seite 442-461. Springer, (2019)A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints., und . APLAS, Volume 11275 von Lecture Notes in Computer Science, Seite 350-372. Springer, (2018)Decidable Logics Combining Word Equations, Regular Expressions and Length Constraints.. CoRR, (2018)BiB+-tree: an efficient multiversion access method for bitemporal databases., und . iiWAS, Seite 193-200. ACM, (2009)Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning., , und . APLAS, Volume 11893 von Lecture Notes in Computer Science, Seite 405-424. Springer, (2019)ReFixar: Multi-version Reasoning for Automated Repair of Regression Errors., und . ISSRE, Seite 162-172. IEEE, (2021)