Compile—time detection of aliasing in euclid programs
type: Item
instance of: scholarly article
title: Compile—time detection of aliasing in euclid programs
zbMATH Open document ID: 0544.68007
author: James R. Cordy
published in: Software: Practice and Experience
publication date: 1984-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N25
zbMATH DE Number: 3866554
zbMATH Keywords: programming languages
zbMATH Keywords: compile-time analysis
zbMATH Keywords: reliability
zbMATH Keywords: verification
zbMATH Keywords: Aliasing of variables
zbMATH Keywords: identifiers
zbMATH Keywords: assignments
zbMATH Keywords: Euclid language
zbMATH Keywords: compiler
zbMATH Keywords: concurrent processes
MaRDI profile type: Publication
full work available at URL: spe.4380140805
OpenAlex ID: W2126113277
DOI: 10.1002/SPE.4380140805
description: scientific article