Alias burying: Unique variables without destructive reads

  title={Alias burying: Unique variables without destructive reads},
  author={John Tang Boyland},
  journal={Softw., Pract. Exper.},
An unshared object can be accessed without regard to possibl e conflicts with other parts of a system, whether concurrent or single-threaded. Aunique variable (sometimes known as a ‘free’ or ‘linear’ variable) is one that either is null or else refers to an unshared object . Being able to declare and check which variables are unique improves a programmer’s ability to avoid program faults. In previously described uniqueness extensions to imperati ve languages, a unique variable can be accessed… CONTINUE READING
Highly Influential
This paper has highly influenced 15 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 189 citations. REVIEW CITATIONS

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
118 Extracted Citations
37 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.
Showing 1-10 of 118 extracted citations

189 Citations

Citations per Year
Semantic Scholar estimates that this publication has 189 citations based on the available data.

See our FAQ for additional information.

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 37 references

Linear types can change the world! In Programming Concepts and Methods

  • P. Wadler
  • Broy M, Jones CB (eds.). Elsevier: North-Holland,
  • 1990
Highly Influential
7 Excerpts

Escap e nalysis for Java. OOPSLA’99 Conference Proceedings— Object-Oriented Programming Systems, Languages and Appli

  • JD Choi, M Gupta, M Serrano, VC Sreedhar, S. Midkiff
  • ACM SIGPLAN Notices,
  • 1999
1 Excerpt

Reasoning about shared mutable data struct ure (preliminary version)

  • JC Reynolds
  • Paper presented at the Symposiu m in Celebration…
  • 1999
1 Excerpt

Similar Papers

Loading similar papers…