Compile—time detection of aliasing in euclid programs

DOI10.1002/SPE.4380140805zbMATH Open0544.68007OpenAlexW2126113277MaRDI QIDQ3334050FDOQ3334050

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

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

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)

Cited In (4)

• Coping with aliasing in the GNU Eiffel Compiler implementation
• Alias burying: Unique variables without destructive reads
• Title not available (Why is that?)
• 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)