( en | de | ru )

 

Disambiguation of "Laurence, Michael R."

Author of the publication

copydeleteadd this publication to your clipboard
On the computational complexity of dynamic slicing problems for program schemas.

, , and . CoRR, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Laurence Lapopin

Laurence Germond

Laurence Vidrascu

Laurence Tricot

Laurence Clark

 

Other publications of authors with the same name

Complexity of Data Dependence Problems for Program Schemas with Concurrency., , and . ACM Trans. Comput. Log., 13 (2): 15:1-15:18 (2012)On the computational complexity of dynamic slicing problems for program schemas., , and . CoRR, (2017)Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas., , and . J. Log. Algebraic Methods Program., 80 (2): 92-112 (2011)Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas., , and . J. Log. Algebraic Methods Program., 80 (8): 481-496 (2011)Complexity of Data Dependence problems for Program Schemas with Concurrency, , and . CoRR, (2010)On Completeness of Omega-Regular Algebras., and . RAMiCS, volume 7560 of Lecture Notes in Computer Science, page 179-194. Springer, (2012)Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages., and . RAMiCS, volume 8428 of Lecture Notes in Computer Science, page 65-82. Springer, (2014)On the computational complexity of dynamic slicing problems for program schemas., , and . Math. Struct. Comput. Sci., 21 (6): 1339-1362 (2011)Static Backward Slicing of Non-deterministic Programs and Systems., and . ACM Trans. Program. Lang. Syst., 40 (3): 11:1-11:46 (2018)Omega Algebras and Regular Equations., and . RAMiCS, volume 6663 of Lecture Notes in Computer Science, page 248-263. Springer, (2011)