Towards alias-free pointers

This publication has 5 references indexed in Scilit:

• “Use-once” variables and linear objects
  ACM SIGPLAN Notices, 1995
• Undecidability of static analysis
  ACM Letters on Programming Languages and Systems, 1992
• Copying and swapping: influences on the design of reusable software components
  IEEE Transactions on Software Engineering, 1991
• Linear logic
  Theoretical Computer Science, 1987
• On the criteria to be used in decomposing systems into modules
  Communications of the ACM, 1972