Work

Sparse functional stores for imperative programs

Year: 1995
Type: conference-paper
Abstract: In recent years, the trend in program representations for imperative programs has been to make them more functional, or to make them more sparse. However, new sparse representations have been non-functional, and new functional representations have not been sparse in the presence of pointer operations. In this paper, we present a functional representation that is sparse even in the presence of pointer operations.
Language: English
Subfield: Software
Open Access status: gold
OpenAlex ID: W2061915850
FWCI: 1.532
Cites: 23
Cited by: 30
Related to: 10