Logo

Goldsmiths - University of London

Items Authored/Edited by Laurence, Michael

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: Article
Number of items: 8.

Article

Danicic, Sebastian, Hierons, Robert and Laurence, Michael. 2012. Complexity of data dependence problems for program schemas with concurrency. ACM Transactions on Computational Logic, 13(2), pp. 1-18. ISSN 1529-3785 [Article]

Danicic, Sebastian, Barraclough, Richard, Harman, Mark, Howroyd, John, Kiss, Akos and Laurence, Michael. 2011. A unifying theory of control dependence and its application to arbitrary program structures. Theoretical Computer Science, 412(49), pp. 6809-6842. ISSN 0304-3975 [Article]

Danicic, Sebastian, Hierons, Robert and Laurence, Michael. 2011. Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas. Journal of Logic and Algebraic Programming, 80(8), pp. 481-496. ISSN 1567-8326 [Article]

Danicic, Sebastian, Hierons, Robert and Laurence, Michael. 2011. Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas. Journal of Logic and Algebraic Programming, 80(2), pp. 92-112. ISSN 1567-8326 [Article]

Danicic, Sebastian, Hierons, Robert and Laurence, Michael. 2011. On the computational complexity of dynamic slicing problems for program schemas. Mathematical Structures in Computer Science, 21(06), pp. 1339-1362. ISSN 0960-1295 [Article]

[img]
Preview
Danicic, Sebastian, Barraclough, Richard, Binkley, David, Harman, Mark, Hierons, Robert, Kiss, Ákos, Laurence, Michael and Ouarbya, Lahcen. 2010. A trajectory-based strict semantics for program slicing. Theoretical Computer Science, 411(11-13), pp. 1372-1386. ISSN 0304-3975 [Article]

[img]
Preview
Danicic, Sebastian, Laurence, Michael and Hierons, Robert. 2009. Decidability of Strong Equivalence for Subschemas of a Class of Linear, Free, near-Liberal Program Schemas. Goldsmiths Department of Computing Technical Report, [Article]

[img]
Preview
Laurence, Michael. 2007. Characterizing minimal semantics-preserving slices of function-linear, free, liberal program schemas. The Journal of Logic and Algebraic Programming, 72(2), pp. 157-172. ISSN 1567-8326 [Article]

This list was generated on Mon Sep 22 18:52:01 2014 BST.