Partial evaluation of high-level imperative programming languages with applications in hard real-time systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Partial evaluation of high-level imperative programming languages with applications in hard real-time systems

Full text

Pdf (1.17 MB)

Source

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

Albuquerque, New Mexico, United States

Pages: 269 - 280

Year of Publication: 1992

ISBN:0-89791-453-8

Authors

Vivek Nirkhe
William Pugh

Sponsors

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

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 6, Downloads (12 Months): 26, Citation Count: 7

Additional Information:

references cited by 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/143165.143223 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.

	BEE88	D. Bjorner , Neil D. Jones , A. P. Ershov, Partial Evaluation and Mixed Computation: Proceedings of the IFIP TC2 Workshop, Gammel Avernaes, Denmark, 18-24 Oct., 1987, Elsevier Science Inc., New York, NY, 1988
	BulB4	M.A. Bulyonkov. Polyvariant Mixed Computation for Analyzer Programs. Acta Informatica, 21:473-484, 1984.
	CD91	Charles Consel , Olivier Danvy, Static and dynamic semantics processing, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.14-24, January 21-23, 1991, Orlando, Florida, United States [doi>10.1145/99583.99588]
	Con88	Charles Consel, New Insights into Partial Evaluation: the SCHISM Experiment, Proceedings of the 2nd European Symposium on Programming, p.236-246, March 21-24, 1988
	Con90	Charles Consel, Binding time analysis for high order untyped functional languages, Proceedings of the 1990 ACM conference on LISP and functional programming, p.264-272, June 27-29, 1990, Nice, France [doi>10.1145/91556.91668]
	EO86	A. P. Ershov , B. N. Ostrovski, Controlled mixed computation and its application to systematic development of language-oriented parsers, The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation, p.31-48, June 1987, Bad To:9Ailz, Germany
	Ers82	A.P. Ershov. Mixed Computation: Potential Applications and Problems for Study. Theoretical Computer Science, 18:41-67, 1982.
	Fut82	Yoshihiko Futamura, Parital Computation of Programs, Proceedings of RIMS Symposium on Software Science and Engineering, p.1-35, January 1983
	JGB+90	N. D. Jones, C. K. Gomand, A. Bondorf, O. Danvey, and T. Mongensen. A self-applicable evaluator for the lambdacalculas, in IEEE Conference on Computer Languages, pages 49-58, 1990.
	Jon88	N. D, Jones. Challenging Problems in Partin1 Evaluation and Mixed Computation. In IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, pages 225- 282. North Holland, 1988.
	JS86	Ulrik Jørring , William L. Scherlis, Compilers and staging transformations, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.86-96, January 01, 1986, St. Petersburg Beach, Florida [doi>10.1145/512644.512652]
	JSS89	N.D. Jones, Peter Sestoft, and Harald SOndergaard. Mix: a Self-applicable Partial Evaluator for Experiments in Compiler Generation. LISP and Symbolic Computation, pages 9-50, 1989.
	KS86	E Kligerman , A D Stoyenko, Real-time Euclid: a language for reliable real-time systems, IEEE Transactions on Software Engineering, v.12 n.9, p.941-949, Sept. 1986
	Lau91	John Launchbury, Strictness and binding-time analyses: two for the price of one, Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation, p.80-91, June 24-28, 1991, Toronto, Ontario, Canada
	LTCA89	S. Levi , S. K. Tripathi , S. D. Carson , A. K. Agrawala, The MARUTI hard real-time operating system, ACM SIGOPS Operating Systems Review, v.23 n.3, p.90-105, July 1989 [doi>10.1145/71021.71026]
	Mey91	Uwe Meyer, Techniques for partial evaluation of imperative languages, Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.94-105, June 17-19, 1991, New Haven, Connecticut, United States
	Mic68	Donald Michie. "Memo" Functions and Machine Learning. Nature, 218:19-22, April 1968.
	Nau63	J. W. Backus , F. L. Bauer , J. Green , C. Katz , J. McCarthy , A. J. Perlis , H. Rutishauser , K. Samelson , B. Vauquois , J. H. Wegstein , A. van Wijngaarden , M. Woodger , P. Naur, Revised report on the algorithm language ALGOL 60, Communications of the ACM, v.6 n.1, p.1-17, Jan. 1963 [doi>10.1145/366193.366201]
	Nir91	Vivek Madhukar Nirkhe, Application of partial evaluation to hard real-time programming, University of Maryland at College Park, College Park, MD, 1992
	NP91	Vivek Nirkhe and William Pugh. A Partial Evaluator for the Maruti Hard Real-Time System. In 12th IEEE Real-Time Systems Symposium, Dec. 1991.
	PK89	P. Puschner , Ch. Koza, Calculating the maximum, execution time of real-time programs, Real-Time Systems, v.1 n.2, p.159-176, Sep. 1989 [doi>10.1007/BF00571421]
	PS91	Chang Yun Park , Alan C. Shaw, Experiments with a Program Timing Tool Based on Source-Level Timing Schema, Computer, v.24 n.5, p.48-57, May 1991 [doi>10.1109/2.76286]
	PT88	W. Pugh , T. Teitelbaum, Incremental computation via function caching, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.315-328, January 11-13, 1989, Austin, Texas, United States [doi>10.1145/75277.75305]
	Pug88	William Worthington Pugh, Jr., Incremental computation and the incremental evaluation of functional programs, 1988

CITED BY 7

	Luke Hornof , Jacques Noyé, Accurate binding-time analysis for imperative languages: flow, context, and return sensitivity, ACM SIGPLAN Notices, v.32 n.12, p.63-73, Dec. 1997
	Mihnea Marinescu , Benjamin Goldberg, Partial-evaluation techniques for concurrent programs, ACM SIGPLAN Notices, v.32 n.12, p.47-62, Dec. 1997
	J. A. Bergstra , T. B. Dinesh , J. Field , J. Heering, Toward a complete transformational toolkit for compilers, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.5, p.639-684, Sept. 1997
	Charles Consel , Olivier Danvy, Tutorial notes on partial evaluation, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.493-501, March 1993, Charleston, South Carolina, United States
	Neil D. Jones, An introduction to partial evaluation, ACM Computing Surveys (CSUR), v.28 n.3, p.480-503, Sept. 1996
	Mohamed F. Younis , Thomas J. Marlowe , Alexander D. Stoyen , Grace Tsai, Statically Safe Speculative Execution for Real-Time Systems, IEEE Transactions on Software Engineering, v.25 n.5, p.701-721, September 1999
	Paul Kleinrubatscher , Albert Kriegshaber , Robert Zöchling , Robert Glück, Fortran program specialization, ACM SIGPLAN Notices, v.30 n.4, p.61-70, April 1995