Mark Harman

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An alternative characterization of weak order dependence Information Processing Letters	2017-11-03	Paper
A unifying theory of control dependence and its application to arbitrary program structures Theoretical Computer Science	2011-12-07	Paper
A trajectory-based strict semantics for program slicing Theoretical Computer Science	2010-03-29	Paper
Formal Approaches to Software Testing Lecture Notes in Computer Science	2009-06-04	Paper
A non-standard semantics for program slicing and dependence analysis The Journal of Logic and Algebraic Programming	2007-08-10	Paper
Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time Theoretical Computer Science	2007-04-13	Paper
A formal relationship between program slicing and partial evaluation Formal Aspects of Computing	2006-10-25	Paper
A formalisation of the relationship between forms of program slicing Science of Computer Programming	2006-10-05	Paper
Theoretical foundations of dynamic program slicing Theoretical Computer Science	2006-09-14	Paper
Testing conformance of a deterministic implementation against a non-deterministic stream X-machine Theoretical Computer Science	2004-10-01	Paper
scientific article; zbMATH DE number 2040802 (Why is no real title available?)	2004-02-11	Paper
scientific article; zbMATH DE number 2040801 (Why is no real title available?)	2004-02-11	Paper
scientific article; zbMATH DE number 2013593 (Why is no real title available?)	2003-12-04	Paper
Testing conformance to a quasi-non-deterministic stream X-machine Formal Aspects of Computing	2003-06-26	Paper
scientific article; zbMATH DE number 1927431 (Why is no real title available?)	2003-06-12	Paper
Equivalence of conservative, free, linear program schemas is decidable Theoretical Computer Science	2003-01-21	Paper
Slicing programs in the presence of errors Formal Aspects of Computing	1997-03-03	Paper
A parallel algorithm for static program slicing Information Processing Letters	1997-02-28	Paper

Research outcomes over time

This page was built for person: Mark Harman