Reducing parallel program simulation complexity by static analysis

DOI10.1023/A:1026571525145zbMath0966.68050OpenAlexW1518842884MaRDI QIDQ1593001

Rocco Aversa, Beniamino Di Martino, Nicola Mazzocca, Umberto Villano

Publication date: 2 April 2001

Published in: The Journal of Supercomputing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1026571525145

zbMATH Keywords

static program analysissimulation techniques

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

This page was built for publication: Reducing parallel program simulation complexity by static analysis