Extracting polyvariant binding time analysis from polyvariant specializer

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Extracting polyvariant binding time analysis from polyvariant specializer

Full text

Pdf (634 KB)

Source

ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation archive
Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation table of contents

Copenhagen, Denmark

Pages: 59 - 65

Year of Publication: 1993

ISBN:0-89791-594-1

Author

Mikhail A. Bulyonkov

Russian Academy of Sciences, Russia

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

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

Additional Information:

abstract references cited by index terms review 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/154630.154637 What is a DOI?

ABSTRACT

Polyvariant binding time analysis allows a program to be transformed for improving propagation and usage of static information. It could be a useful instrument for better specializability. We show that the process of such a transformation is of the same nature as the whole specialization process. Moreover, we present a practical method for realizing polyvariant binding time analysis based on the double application of a polyvariant specializer. The proposed technique is restricted to first order programs with strict semantics. —Author's Abstract

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.

	Bon90	A. Bondorf. Self-Applicable Partial Evaluation. Ph.D. Thesis, University of Copenhagen, Denmark, 1991.
	Bul91	M. A. Bulyonkov, From partial evaluation to mixed computation, Theoretical Computer Science, v.90 n.1, p.47-60, Nov. 1991 [doi>10.1016/0304-3975(91)90298-G]
	Cons89	Ch. Consel. Analyse de programmes, Evaluation partielle et Gdndration de compilateurs. Ph.D. thesis, LITP, University of Paris 6, France, 1989.
	Dyb87	R. Kent Dybvig, The SCHEME programming language, Prentice-Hall, Inc., Upper Saddle River, NJ, 1987
	Jon88	Automatic program specialization: a reexamination from basic principles. In Partial Evaluation and Mixed Computation (1988), D. BjCrner, A. Ershov and N. Jones, Eds., North- Holland, pp. 225-282.
	Laun91	John Launchbury, Projection factorisations in partial evaluation, Cambridge University Press, New York, NY, 1991
	RG92	B. Rytz, M. Gengler. A Polyvariant Binding Time Analysis. In Proceedings of the A CM SIG. PLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, 1992.

CITED BY 5

	Dirk Dussart , Rogardt Heldal , John Hughes, Module-sensitive program specialisation, ACM SIGPLAN Notices, v.32 n.5, p.206-214, May 1997
	Robert Glück, Jones optimality, binding-time improvements, and the strength of program specializers, Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation, p.9-19, September 12-14, 2002, Aizu, Japan
	Simon Helsen , Peter Thiemann, Polymorphic specialization for ML, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.4, p.652-701, July 2004
	Niels H. Christensen , Robert Glück, Offline partial evaluation can be as accurate as online partial evaluation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.1, p.191-220, January 2004
	Robert Glück, An investigation of Jones optimality and BTI-universal specializers, Higher-Order and Symbolic Computation, v.21 n.3, p.283-309, September 2008

INDEX TERMS

Primary Classification:
D. Software
D.3 PROGRAMMING LANGUAGES

General Terms:
Algorithms, Verification

REVIEW

"Kathleen H. V. Booth : Reviewer"

The important features of the paper are a realistic approach to implementation, which leads to a clearly presented informal description of the method; a formal description of the method; an examination more...

Collaborative Colleagues:

Mikhail A. Bulyonkov: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player