Complexity of Data Dependence Problems for Program Schemas with Concurrency

DOI10.1145/2159531.2159537zbMath1351.68071arXiv1007.3878MaRDI QIDQ2946663

Sebastian Danicic, Michael R. Laurence, Robert M. Hierons

Publication date: 17 September 2015

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1007.3878

zbMATH Keywords

data dependence; program analysis; program schemas; Herbrand domain; free schemas

Mathematics Subject Classification ID

68N20: Theory of compilers and interpreters

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)