Parameter-induced aliasing in Ada

DOI10.1007/3-540-45136-6_6MaRDI QIDQ2771770zbMATH OpenFDO

Authors Wolfgang Gellerich, Erhard Plödereder

Publication date 18 February 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2043/20430088

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) General topics in the theory of software (68N01) Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• Compile—time detection of aliasing in euclid programs
• scientific article; zbMATH DE number 3930312
• A mode system for flexible alias protection
• Alias burying: Unique variables without destructive reads
• scientific article; zbMATH DE number 4060680

Cited in

(4)

• Compile—time detection of aliasing in euclid programs
• scientific article; zbMATH DE number 2011476 (Why is no real title available?)
• Alias burying: Unique variables without destructive reads
• Coping with aliasing in the GNU Eiffel Compiler implementation

This page was built for publication: Parameter-induced aliasing in Ada

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