15 results on '"Laurence, Michael R."'
Search Results
2. On Completeness of Omega-Regular Algebras
3. Omega Algebras and Regular Equations
4. Static Backward Slicing of Non-deterministic Programs and Systems
5. Completeness results for omega-regular algebras
6. Complexity of Data Dependence Problems for Program Schemas with Concurrency
7. A unifying theory of control dependence and its application to arbitrary program structures
8. Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas
9. On the computational complexity of dynamic slicing problems for program schemas
10. Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas
11. Characterizing minimal semantics-preserving slices of function-linear, free, liberal program schemas
12. Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time
13. Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas
14. Equivalence of conservative, free, linear program schemas is decidable
15. A Generating Set for the Automorphism Group of a Graph Group
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.