On the Complexity of Commutativity Analysis

DOI10.1142/S0129054197000069zbMath0870.68050OpenAlexW1974702276MaRDI QIDQ4341043

Pedro C. Diniz, Oscar H. Ibarra, Martin C. Rinard

Publication date: 15 September 1997

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0129054197000069

zbMATH Keywords

computational complexityparallelizing compilersprogram symbolic analysis

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

This page was built for publication: On the Complexity of Commutativity Analysis