Compile—time detection of aliasing in euclid programs

DOI10.1002/SPE.4380140805MaRDI QIDQ3334050zbMATH OpenOpenAlexFDO

Authors 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

Aliasing of variablesassignmentscompile-time analysiscompilerconcurrent processesEuclid languageidentifiersprogramming languagesreliabilityverification

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1706343
• Alias burying: Unique variables without destructive reads
• Expression-Based Aliasing for OO–languages
• scientific article; zbMATH DE number 1304000
• scientific article; zbMATH DE number 1761902

Cited in

(4)

• scientific article; zbMATH DE number 1706343 (Why is no real title available?)
• Alias burying: Unique variables without destructive reads
• Coping with aliasing in the GNU Eiffel Compiler implementation
• Compiler Construction

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3334050)