Mark Harman

Available identifiers

Publication	Date of Publication	Type
An alternative characterization of weak order dependence	2017-11-03	Paper
A unifying theory of control dependence and its application to arbitrary program structures	2011-12-07	Paper
A trajectory-based strict semantics for program slicing	2010-03-29	Paper
Formal Approaches to Software Testing	2009-06-04	Paper
A non-standard semantics for program slicing and dependence analysis	2007-08-10	Paper
Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time	2007-04-13	Paper
A formal relationship between program slicing and partial evaluation	2006-10-25	Paper
A formalisation of the relationship between forms of program slicing	2006-10-05	Paper
Theoretical foundations of dynamic program slicing	2006-09-14	Paper
Testing conformance of a deterministic implementation against a non-deterministic stream X-machine	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4451890	2004-02-11	Paper
https://portal.mardi4nfdi.de/entity/Q4451888	2004-02-11	Paper
https://portal.mardi4nfdi.de/entity/Q4436979	2003-12-04	Paper
Testing conformance to a quasi-non-deterministic stream X-machine	2003-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q4484349	2003-06-12	Paper
Equivalence of conservative, free, linear program schemas is decidable	2003-01-21	Paper
Slicing programs in the presence of errors	1997-03-03	Paper
A parallel algorithm for static program slicing	1997-02-28	Paper

This page was built for person: Mark Harman