Reference count analysis with shallow aliasing-Reference-Cited by-同舟云学术

Reference count analysis with shallow aliasing

Published:2010-12 Issue:2 Volume:111 Page:57-63
ISSN:0020-0190
Container-title:Information Processing Letters
language:en
Short-container-title:Information Processing Letters

Author:

Lal Akash,Ramalingam G.

Publisher

Elsevier BV

Subject

Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science

Reference8 articles.

1. Typestate verification: Abstraction techniques and complexity results;Field;Sci. Comput. Programming,2005

2. Affine relationships among variables of a program;Karr;Acta Inform.,1976

3. M. Müller-Olm, H. Seidl, Precise interprocedural analysis through linear algebra, in: POPL '04: Proceedings of the 31st ACM SIGPLAN–SIGACT Symposium on Principles of Programming Languages, pp. 330–341.

4. R. Muth, S.K. Debray, On the complexity of flow-sensitive dataflow analyses, in: POPL '00: Proceedings of the 27th ACM SIGPLAN–SIGACT Symposium on Principles of Programming Languages, pp. 67–80.

5. W. Landi, B. Ryder, Pointer-induced aliasing: A problem classification, in: POPL '91: Proceedings of the 18th ACM SIGPLAN–SIGACT Symposium on Principles of Programming Languages, pp. 93–103.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11

2. Extended Memory Reuse;Proceedings of the 30th Symposium on Implementation and Application of Functional Languages;2018-09-05

3. RID;ACM SIGARCH Computer Architecture News;2016-07-29

4. RID;ACM SIGPLAN Notices;2016-06-09

5. RID;Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems;2016-03-25