Mark Harman

MaRDI QIDQ650918zbMATH OpenORCIDWikidataFDO

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