Compile—time detection of aliasing in euclid programs

DOI10.1002/SPE.4380140805zbMath0544.68007OpenAlexW2126113277MaRDI QIDQ3334050

James R. Cordy

Publication date: 1984

Published in: Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/spe.4380140805

zbMATH Keywords

verificationreliabilityprogramming languagesconcurrent processescompilerassignmentsidentifiersAliasing of variablescompile-time analysisEuclid language

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

This page was built for publication: Compile—time detection of aliasing in euclid programs