Constraint systems for useless variable elimination

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Constraint systems for useless variable elimination

Full text

Pdf (1.20 MB)

Source

Annual Symposium on Principles of Programming Languages archive
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages table of contents

San Antonio, Texas, United States

Pages: 291 - 302

Year of Publication: 1999

ISBN:1-58113-095-3

Authors

Mitchell Wand	College of Computer Science, Northeastern University, Boston, MA
Igor Siveroni	College of Computer Science, Northeastern University, Boston, MA

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 15, Citation Count: 13

Additional Information:

references cited by index terms collaborative colleagues peer to peer

Tools and Actions:	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/292540.292567 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.

	ALL96	Martín Abadi , Butler Lampson , Jean-Jacques Lévy, Analysis and caching of dependencies, Proceedings of the first ACM SIGPLAN international conference on Functional programming, p.83-91, May 24-26, 1996, Philadelphia, Pennsylvania, United States
	App98	Andrew W. Appel, Modern compiler implementation in ML: basic techniques, Cambridge University Press, New York, NY, 1997
	ASU86	Alfred V. Aho , Ravi Sethi , Jeffrey D. Ullman, Compilers: principles, techniques, and tools, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
	Hei92	Nevin Charles Heintze, Set based program analysis, Carnegie Mellon University, Pittsburgh, PA, 1992
	HRB84	Susan Horwitz, Thomas Reps, and David Binkley. Program slicing. IEEE Transactions on Software Engineering, 10(4):352-357, August 1984.
	JM82	Neil D. Jones , Steven S. Muchnick, A flexible approach to interprocedural data flow analysis and programs with recursive data structures, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.66-74, January 25-27, 1982, Albuquerque, Mexico [doi>10.1145/582153.582161]
	Jon81	Neil D. Jones, Flow Analysis of Lambda Expressions (Preliminary Version), Proceedings of the 8th Colloquium on Automata, Languages and Programming, p.114-128, July 13-17, 1981
	Mic68	Donald Michie. 'Memo' functions and machine learning. Nature, 218:19-22, 1968.
	Muc97	Steven S. Muchnick, Advanced compiler design and implementation, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1998
	MW77	James H. Morris, Jr. , Ben Wegbreit, Subgoal induction, Communications of the ACM, v.20 n.4, p.209-222, April 1977 [doi>10.1145/359461.359466]
	NN97	Flemming Nielson , Hanne Riis Nielson, Infinitary control flow analysis: a collecting semantics for closure analysis, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.332-345, January 15-17, 1997, Paris, France [doi>10.1145/263699.263745]
	PJHH+93	Hammond, Will Partain, and Philip Wadler. The glasgow haskell compiler: a technical overview, in Proc. U K joint F~amework }or information Technology (JFIT) Technical Conference, July 93.
	PJS98	Simon L. Peyton Jones , André L. M. Santos, A transformation-based optimiser for Haskell, Science of Computer Programming, v.32 n.1-3, p.3-47, Sept. 1998 [doi>10.1016/S0167-6423(97)00029-4 ]
	PS94	Jens Palsberg , Michael I. Schwartzbach, Object-oriented type systems, John Wiley and Sons Ltd., Chichester, UK, 1994
	Ses88	PeLer Sestnft.. R.enla.cin~ function ~arameters by global variables. Master's thesis, DIKU, University of Copenhagen, October 1988.
	Shi91	Olin Grigsby Shivers, Control-flow analysis of higher-order languages of taming lambda, Carnegie Mellon University, Pittsburgh, PA, 1991
	ST98	Peter F. Sweeney , Frank Tip, A study of dead data members in C++ applications, Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, p.324-332, June 17-19, 1998, Montreal, Quebec, Canada
	SW97	Paul A. Steckler , Mitchell Wand, Lightweight closure conversion, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.1, p.48-86, Jan. 1997 [doi>10.1145/239912.239915]
	Wan93	Mitchell Wand, Specifying the correctness of binding-time analysis, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.137-143, March 1993, Charleston, South Carolina, United States [doi>10.1145/158511.158614]
	WC98	M. Wand , W. D. Clinger, Set Constraints for Destructive Array Update Optimization, Proceedings of the 1998 International Conference on Computer Languages, p.184, May 14-16, 1998
	Wei84	Mark weiser. program slicing . IEEE Transactions on Software Engineering, 10(4):352-357, August 1984.

CITED BY 13

	Mitchell Wand , William D. Clinger, Optimizing memory usage in higher-order programming languages: theoretical and experimental studies, ACM SIGSOFT Software Engineering Notes, v.25 n.1, p.92, Jan 2000
	Matthew Might , Olin Shivers, Environment analysis via ΔCFA, ACM SIGPLAN Notices, v.41 n.1, p.127-140, January 2006
	Matthew Might , Olin Shivers, Analyzing the environment structure of higher-order languages using frame strings, Theoretical Computer Science, v.375 n.1-3, p.137-168, May, 2007
	Olin Shivers, Higher-order control-flow analysis in retrospect: lessons learned, lessons abandoned, ACM SIGPLAN Notices, v.39 n.4, April 2004
	Naoki Kobayashi, Type-based useless variable elimination, ACM SIGPLAN Notices, v.34 n.11, p.84-93, Nov. 1999
	Naoki Kobayashi, Type-Based Useless-Variable Elimination, Higher-Order and Symbolic Computation, v.14 n.2-3, p.221-260, September 2001
	Nick Benton, Simple relational correctness proofs for static analyses and program transformations, ACM SIGPLAN Notices, v.39 n.1, p.14-25, January 2004
	Ferruccio Damiani , Paola Giannini, Automatic useless-code elimination for HOT functional programs, Journal of Functional Programming, v.10 n.6, p.509-559, November 2000
	Vasileios Koutavas , Mitchell Wand, Small bisimulations for reasoning about higher-order imperative programs, ACM SIGPLAN Notices, v.41 n.1, p.141-152, January 2006
	Ferruccio Damiani, A conjunctive type system for useless-code elimination, Mathematical Structures in Computer Science, v.13 n.1, p.157-197, February 2003
	Yanhong A. Liu , Scott D. Stoller, Eliminating dead code on recursive data, Science of Computer Programming, v.47 n.2-3, p.221-242, May 2003
	Anindya Banerjee , Thomas Jensen, Modular control-flow analysis with rank 2 intersection types, Mathematical Structures in Computer Science, v.13 n.1, p.87-124, February 2003
	M. Alpuente , S. Escobar , S. Lucas, Removing redundant arguments automatically, Theory and Practice of Logic Programming, v.7 n.1-2, p.3-35, January 2007

INDEX TERMS

Primary Classification:
D. Software
D.3 PROGRAMMING LANGUAGES

Additional Classification:
F. Theory of Computation
F.2 ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY
F.2.1 Numerical Algorithms and Problems
Subjects: Computation of transforms (e.g., fast Fourier transform)
F.3 LOGICS AND MEANINGS OF PROGRAMS

G. Mathematics of Computing
G.4 MATHEMATICAL SOFTWARE
Subjects: Algorithm design and analysis

General Terms:
Algorithms, Reliability, Verification

Collaborative Colleagues:

Mitchell Wand: colleagues

Igor Siveroni: colleagues

Peer to Peer - Readers of this Article have also read:

Constructing reality Proceedings of the 11th annual international conference on Systems documentation
Douglas A. Powell , Norman R. Ball , Mansel W. Griffiths
Data structures for quadtree approximation and compression Communications of the ACM 28, 9
Hanan Samet
A hierarchical single-key-lock access control using the Chinese remainder theorem Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing
Kim S. Lee , Huizhu Lu , D. D. Fisher
An intelligent component database for behavioral synthesis Proceedings of the 27th ACM/IEEE conference on Design automation
Gwo-Dong Chen , Daniel D. Gajski
The GemStone object database management system Communications of the ACM 34, 10
Paul Butterworth , Allen Otis , Jacob Stein

Adobe Acrobat

QuickTime

Windows Media Player

Real Player