Article

Free access

An efficient way to find the side effects of procedure calls and the aliases of variables

Author:

John P. BanningAuthors Info & Claims

POPL '79: Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Pages 29 - 41

https://doi.org/10.1145/567752.567756

Published: 01 January 1979 Publication History

PDF eReader

References

[1]

{AHO77} Aho, A. V. and Ulman, J. D. Principles of Compiler Design, Addison Wesley, 1977.

Digital Library

Google Scholar

[2]

{ALL74a} Allen, F. E. "Interprocedural Data Flow Analysis." Proceedings IFIP Congress 74, North Holland Publishing Company, Amsterdam, 398-402.

Google Scholar

[3]

{ALL74b} Allen, F. E. and Schwartz, J. T. "Determining the Data Relationships in a Collection of Procedures." Computer Science Report RC 4989, IBM Thomas J. Watson Research Center, (Aug. 1974).

Google Scholar

[4]

{BAN78} Banning, J. P. "A Method for Determining the Side Effects of Procedure Calls." Ph.D. Thesis, Stanford University. Report No. 213, Stanford Linear Accelerator Center (Aug. 1978).

Digital Library

Google Scholar

[5]

{BAR78} Barth, J. "A Practical Interprocedural Data Flow Analysis Algorithm." CACM 21, 9 (Sept. 1978) 724-736.

Digital Library

Google Scholar

[6]

{GRA76} Graham, S. L. and Wegman, M. "A Fast and Usually Linear Algorithm for Global Flow Analysis." JACM 23, 1 (Jan. 1976), 172-202.

Digital Library

Google Scholar

[7]

{HEC75} Hecht, M. S. and Shaffer, J. B. "Ideas on the Design of a 'Quad Improver' for SIMPL-T, Part I: Overview and Intersegment Analysis." Computer Science Technical Report TR-405, university of Maryland, College Park, Maryland (Aug. 1975).

Google Scholar

[8]

{LOM77} Lomet, D. B. "Data Flow Analysis in the Presence of Procedure Calls." IBM Journal of Research and Development 21, 6 (Nov. 1977), 559-571.

Digital Library

Google Scholar

[9]

{ROS78} Rosen, B. K. "Monoids for Rapid Flow Analysis." Computer Science Report RC 7032, IBM Thomas J. Watson Research Center, Yorktown Heights (March 1978), 59 pp.

Google Scholar

[10]

{ROS79} Rosen, B. K. "Data Flow Analysis for Procedural Languages." To appear JACM. Also Computer Science Report RC 5948, IBM Thomas J. Watson Research Center, Yorktown Heights (April 1976), 50 pp.

Digital Library

Google Scholar

[11]

{SPI71} Spillman, T. C. "Exposing Side-effects in a PL/I Optimizing Compiler." Proceedings IFIP Conference 1971, North Holland Publishing Company, Amsterdam, 376-381.

Google Scholar

[12]

{TAR75} Tarjan, R. E. "Solving Path Problems on Directed Graphs." Report STAN-CS-75-582, Computer Science Department, Stanford University (Nov. 1975), 45 pp.

Digital Library

Google Scholar

[13]

{ULL75} Ullman, J. D. "A Survey of Data Flow Analysis Techniques." Proceedings Second USA-Japan Computer Conference, Tokyo (Aug. 1975), 335-342.

Google Scholar

Cited By

View all

Zhai JJin YChen WZheng WZhai JJin YChen WZheng W(2023)Fast Communication Trace CollectionPerformance Analysis of Parallel Applications for HPC10.1007/978-981-99-4366-1_2(9-41)Online publication date: 19-Jun-2023
https://doi.org/10.1007/978-981-99-4366-1_2
Tzannes AHeumann SEloussi LVakilian MAdve VHan M(2019)Region and effect inference for safe parallelismAutomated Software Engineering10.1007/s10515-019-00257-326:2(463-509)Online publication date: 1-Jun-2019
https://dl.acm.org/doi/10.1007/s10515-019-00257-3
Maalej MPaisante VRamos PGonnord LPereira FReddi VSmith ATang L(2017)Pointer disambiguation via strict inequalitiesProceedings of the 2017 International Symposium on Code Generation and Optimization10.5555/3049832.3049848(134-147)Online publication date: 4-Feb-2017
https://dl.acm.org/doi/10.5555/3049832.3049848
Show More Cited By

Recommendations

Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects
POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

We present practical approximation methods for computing interprocedural aliases and side effects for a program written in a language that includes pointers, reference parameters and recursion. We present the following results: 1) An algorithm for flow-...
Static Analysis of Aliases and Side Effects in Higher-Order Languages
Static analysis of aliases and side effects in higher-order languages

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

POPL '79: Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

January 1979

290 pages

ISBN:9781450373579

DOI:10.1145/567752

Conference Chairs:
Alfred V. Aho
Bell Laboratories, Murray Hill, NJ
,
Stephen N. Zilles
IBM Research, San Jose, CA
,
Program Chair:
Barry K. Rosen
IBM Thomas J. Watson Research Center, Yorktown Heights, NY

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 January 1979

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Acceptance Rates

POPL '79 Paper Acceptance Rate 27 of 146 submissions, 18%;

Overall Acceptance Rate 824 of 4,130 submissions, 20%

Upcoming Conference

POPL '25

Sponsor:
sigplan

The 52nd Annual ACM SIGPLAN Symposium on Principles of Programming Languages

January 19 - 25, 2025

Denver , CO , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

187
Total Citations
View Citations
1,065
Total Downloads

Downloads (Last 12 months)98
Downloads (Last 6 weeks)8

Reflects downloads up to 12 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Zhai JJin YChen WZheng WZhai JJin YChen WZheng W(2023)Fast Communication Trace CollectionPerformance Analysis of Parallel Applications for HPC10.1007/978-981-99-4366-1_2(9-41)Online publication date: 19-Jun-2023
https://doi.org/10.1007/978-981-99-4366-1_2
Tzannes AHeumann SEloussi LVakilian MAdve VHan M(2019)Region and effect inference for safe parallelismAutomated Software Engineering10.1007/s10515-019-00257-326:2(463-509)Online publication date: 1-Jun-2019
https://dl.acm.org/doi/10.1007/s10515-019-00257-3
Maalej MPaisante VRamos PGonnord LPereira FReddi VSmith ATang L(2017)Pointer disambiguation via strict inequalitiesProceedings of the 2017 International Symposium on Code Generation and Optimization10.5555/3049832.3049848(134-147)Online publication date: 4-Feb-2017
https://dl.acm.org/doi/10.5555/3049832.3049848
Midtgaard JJustesen MKasting PNielson FNielson H(2017)Effect-driven QuickChecking of compilersProceedings of the ACM on Programming Languages10.1145/31102591:ICFP(1-23)Online publication date: 29-Aug-2017
https://dl.acm.org/doi/10.1145/3110259
Maalej MPaisante VRamos PGonnord LPereira F(2017)Pointer disambiguation via strict inequalities2017 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)10.1109/CGO.2017.7863735(134-147)Online publication date: Feb-2017
https://doi.org/10.1109/CGO.2017.7863735
Abal IBrabrand CWąsowski A(2017)Effective Bug Finding in C Programs with Shape and Effect AbstractionsVerification, Model Checking, and Abstract Interpretation10.1007/978-3-319-52234-0_3(34-54)Online publication date: 12-Jan-2017
https://doi.org/10.1007/978-3-319-52234-0_3
Li YZhai JLi K(2016)Communication Analysis and Performance Prediction of Parallel Applications on Large-Scale MachinesInnovative Research and Applications in Next-Generation High Performance Computing10.4018/978-1-5225-0287-6.ch005(80-105)Online publication date: 2016
https://doi.org/10.4018/978-1-5225-0287-6.ch005
Alnaeli STaha ATimm T(2016)On the prevalence of function side effects in general purpose open source software systems2016 IEEE 14th International Conference on Software Engineering Research, Management and Applications (SERA)10.1109/SERA.2016.7516139(141-148)Online publication date: Jun-2016
https://doi.org/10.1109/SERA.2016.7516139
Alnaeli STaha ABinder S(2016)Middleware and multicore architecture: Challenges and potential enhancements from software engineering perspective2016 IEEE International Conference on Electro Information Technology (EIT)10.1109/EIT.2016.7535325(0700-0706)Online publication date: May-2016
https://doi.org/10.1109/EIT.2016.7535325
Alnaeli SMaletic JCollard M(2016)An empirical examination of the prevalence of inhibitors to the parallelizability of open source software systemsEmpirical Software Engineering10.1007/s10664-015-9385-521:3(1272-1301)Online publication date: 1-Jun-2016
https://dl.acm.org/doi/10.1007/s10664-015-9385-5
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations

Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects

Static Analysis of Aliases and Side Effects in Higher-Order Languages

Static analysis of aliases and side effects in higher-order languages