Denotational data flow analysis for parallel implementation of imperative programs

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Denotational data flow analysis for parallel implementation of imperative programs

Full text

Pdf (833 KB)

Source

ACM Annual Computer Science Conference archive
Proceedings of the 1988 ACM sixteenth annual conference on Computer science table of contents

Atlanta, Georgia, United States

Pages: 17 - 26

Year of Publication: 1988

ISBN:0-89791-260-8

Authors

Shan-Jon Chao	Department of Computer and Information Sciences, The University of Alabama at Birmingham, Birmingham, Alabama
Barrett R. Bryant	Department of Computer and Information Sciences, The University of Alabama at Birmingham, Birmingham, Alabama

Sponsor

ACM: Association for Computing Machinery

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 18, Citation Count: 0

Additional Information:

references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/322609.322612 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Alfred V. Aho , Ravi Sethi , Jeffrey D. Ullman, Compilers: principles, techniques, and tools, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
	2	Bryant, B. R. and S. J. Chao, "Denotational Semantics-Directed Compiler Generation for Data Flow Machines," Technical Report, Department of Computer and Information Sciences, The University of Alabama at Birmingham, Birmingham, Alabama, November 1987.
	3	Chao, S. J. and B. R. Bryant, '~2FL" Denotational Data Flow Analysis for Code Optimization," Proc. AOM Southeast R~gion Conference, April 1987, pp. 309-315.
	4	Alonzo Church, The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies), Princeton University Press, Princeton, NJ, 1985
	5	Davis, A. L. and R. M. Keller, "Data Flow Program Graphs," Computer, Vol. 15, No. 2, February 1982, pp. 26-41.
	6	Ershov, A., "On the Partial Evaluation Principle," In/ormation Processing Letters, Vol. 6, No. 2, April 1977, pp. 28-41.
	7	Neil D. Jones , Peter Sestoft , Harald Søndergaard, An experiment in partial evaluation: the generation of a compiler generator, ACM SIGPLAN Notices, v.20 n.8, August 1985 [doi>10.1145/988346.988358]
	8	McGraw, J. R., et al., SISAL: Streams and Iteration in a Single-Assignment Language, Language Reference Manual, Version 1.2, M-146, Lawrence Livermore National Laboratory, Livermore, CA, March 1985.
	9	Schmidt, D. A., Derotational Semantics, Allya and Bacon, Inc., Boston, 1986.
	10	Scott, D. S. and C. Strachey, "Towards a Mathematical Semantics for Computer Languages," Proc. Syrup. Computers and Automata, Polytechnic Press, 1971, pp. 19-46.
	11	Shreekant S. Thakkar, Dataflow and Reduction Architectures, Selected Reprints On, IEEE Computer Society Press, Los Alamitos, CA, 1987