Filter fusion

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Filter fusion

Full text

Pdf (829 KB)

Source

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

St. Petersburg Beach, Florida, United States

Pages: 119 - 130

Year of Publication: 1996

ISBN:0-89791-769-3

Authors

Todd A. Proebsting	Department of Computer Science, University of Arizona, Tucson, AZ
Scott A. Watterson	Department of Computer Science, University of Arizona, Tucson, AZ

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): 4, Downloads (12 Months): 17, Citation Count: 14

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/237721.237760 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.

	Abb93	Mark Bert Abbott, A language-based approach to protocol implementation, University of Arizona, Tucson, AZ, 1993
	ASU86	Alfred V. Aho , Ravi Sethi , Jeffrey D. Ullman, Compilers: principles, techniques, and tools, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
	BD77	R. M. Burstall , John Darlington, A Transformation System for Developing Recursive Programs, Journal of the ACM (JACM), v.24 n.1, p.44-67, Jan. 1977 [doi>10.1145/321992.321996]
	CJRS89	David D. Clark, Van Jacobson, John Romkey, and Howard Salwen. An analysis of tcp processing overhead. IEEE Communications Magazine, June 1989.
	CT90	D. D. Clark , D. L. Tennenhouse, Architectural considerations for a new generation of protocols, Proceedings of the ACM symposium on Communications architectures & protocols, p.200-208, September 26-28, 1990, Philadelphia, Pennsylvania, United States
	DAPP93	Peter Druschel, Mark B. Abbott, Michael A. Pagels, and Larry L. Peterson. Network subsystem design: A case for an integrated data path. IEEE Network Magazine, July 1993.
	GG90	Ralph E. Griswold , Madge T. Griswold, The ICON Programming Language, Annabooks, 1996
	JGS93	Neil D. Jones , Carsten K. Gomard , Peter Sestoft, Partial evaluation and automatic program generation, Prentice-Hall, Inc., Upper Saddle River, NJ, 1993
	MMO+95	A. B. Montz , D. Mosberger , S. W. O'Mally , L. L. Peterson , T. A. Proebsting, Scout: a communications-oriented operating system, Proceedings of the Fifth Workshop on Hot Topics in Operating Systems (HotOS-V), p.58, May 04-05, 1995
	OPM94	Sean O'Malley , Todd Proebsting , Allen Brady Montz, USC: a universal stub compiler, Proceedings of the conference on Communications architectures, protocols and applications, p.295-306, August 31-September 02, 1994, London, United Kingdom
	Wad84	Philip Wadler, Listlessness is better than laziness: Lazy evaluation and garbage collection at compile-time, Proceedings of the 1984 ACM Symposium on LISP and functional programming, p.45-52, August 06-08, 1984, Austin, Texas, United States [doi>10.1145/800055.802020]
	Wad90	Philip Wadler, Deforestation: transforming programs to eliminate trees, Theoretical Computer Science, v.73 n.2, p.231-248, June 22, 1990

CITED BY 14

	Sanjeev Kumar , Yitzhak Mandelbaum , Xiang Yu , Kai Li, ESP: a language for programmable devices, ACM SIGPLAN Notices, v.36 n.5, p.309-320, May 2001
	Xiaoming Liu , Christoph Kreitz , Robbert van Renesse , Jason Hickey , Mark Hayden , Kenneth Birman , Robert Constable, Building reliable, high-performance communication systems from components, ACM SIGOPS Operating Systems Review, v.33 n.5, p.80-92, Dec. 1999
	Deborah A. Wallach , Dawson R. Engler , M. Frans Kaashoek, ASHs: Application-specific handlers for high-performance messaging, ACM SIGCOMM Computer Communication Review, v.26 n.4, p.40-52, Oct. 1996
	Saumya K. Debray , Todd A. Proebsting, Interprocedural control flow analysis of first-order programs with tail-call optimization, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.4, p.568-585, July 1997
	Michael I. Gordon , William Thies , Michal Karczmarek , Jasper Lin , Ali S. Meli , Andrew A. Lamb , Chris Leger , Jeremy Wong , Henry Hoffmann , David Maze , Saman Amarasinghe, A stream compiler for communication-exposed architectures, ACM SIGPLAN Notices, v.37 n.10, October 2002
	Deborah A. Wallach , Dawson R. Engler , M. Frans Kaashoek, ASHs: application-specific handlers for high-performance messaging, IEEE/ACM Transactions on Networking (TON), v.5 n.4, p.460-474, Aug. 1997
	H. Richard Kendall , Vincent W. Freeh , Paul W. Schermerhorn , Robert J. Minerick , Peter W. Rijks, Streaming extensibility in the modify-on-access file system, Journal of Systems and Software, v.60 n.1, p.21-36, 15 January 2002
	Satish Chandra , Bradley Richards , James R. Larus, Teapot: A Domain-Specific Language for Writing Cache Coherence Protocols, IEEE Transactions on Software Engineering, v.25 n.3, p.317-333, May 1999
	Janis Sermulins , William Thies , Rodric Rabbah , Saman Amarasinghe, Cache aware optimization of stream programs, ACM SIGPLAN Notices, v.40 n.7, July 2005
	Olin Shivers , Matthew Might, Continuations and transducer composition, ACM SIGPLAN Notices, v.41 n.6, June 2006
	Wen Xu , Sanjeev Kumar , Kai Li, Fast Paths in Concurrent Programs, Proceedings of the 13th International Conference on Parallel Architectures and Compilation Techniques, p.189-200, September 29-October 03, 2004
	Satish Chandra , Michael Dahlin , Bradley Richards , Randolph Y. Wang , Thomas E. Anderson , James R. Larus, Experience with a language for writing coherence protocols, Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997, p.5-5, October 15-17, 1997, Santa Barbara, California
	Renaud Marlet , Scott Thibault , Charles Consel, Efficient Implementations of Software Architectures via Partial Evaluation, Automated Software Engineering, v.6 n.4, p.411-440, October 1999
	Christoph Kreitz, Building reliable, high-performance networks with the Nuprl proof development system, Journal of Functional Programming, v.14 n.1, p.21-68, January 2004