Linear types for packet processing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2986, Issue , 2004, Pages 204-218

  Ennals, Robert ^a   Sharp, Richard ^a,b   Mycroft, Alan ^a,b  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^b Intel Research Cambridge Lab   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

MEMORY ARCHITECTURE; SEMANTICS;

DISTRIBUTED MEMORY ARCHITECTURE; HIGH-LEVEL PROGRAM; LINEAR TYPES; MULTIPLE REFERENCES; NETWORK PROCESSOR; OPERATIONAL SEMANTICS; PACKET PROCESSING; UNICAST PACKETS;

PACKET NETWORKS;

EID: 35048826236     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24725-8_15     Document Type: Article

References (17)

1. ALLEN, J et al. PowerNP network processor: Hardware, software and applications. IBM Journal of research and development 47, 2-3 (3003), 177-194.
2. BERRY, G., AND BOUDOL, G. The chemical abstract machine. Theoretical Computer Science 96 (1992), 217-248.
3. BOYAPATI, C., LEE, R., AND RINARD, M. Ownership types for safe programming: Preventing data races and deadlocks. In Proceedings of the 17th Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA02) (November 2002), ACM Press.
4. CLARKE, D., AND WRIGSTAD, T. External uniqueness is unique enough. In Proceedings of the 17th European Conference for Object-Oriented Programming (ECOOP) (July 2003), vol. 2743 of LNCS, Springer-Verlag.
5. CLARKE, D. G., POTTER, J. M., AND NOBLE, J. Ownership types for flexible alias protection. In Proceedings of the 13th Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA-98) (New York, 1998), vol. 33:10 of ACM SIGPLAN Notices, ACM Press, pp. 48-64.
6. ENNALS, R., SHARP, R., AND MYCROFT, A. Linear types for packet processing (extended version). Tech. Rep. UCAM-CLr-TR-578, University of Cambridge Computer Laboratory, 2004.
7. FLANAGAN, C., SABRY, A., DUBA, B. P., AND FELLEISEN, M. The essence of compiling with continuations. In Proceedings ACM SIGPLAN 1993 Conf. on Programming Language Design and Implementation, PLDI'93, Albuquerque, NM, USA, 23-25 June 1993, vol. 28(6). ACM Press, New York, 1993, pp. 237-247.
8. HILT HIGH LEVEL SOFTWARE TOOLS B.V. Concurrent clean language report. Available from: ftp://ftp.cs.kun.nl/pub/Clean/Clean20/doc/CleanRep2.0.pdf.
9. INTEL CORPORATION. Intel IXDP2400 & IXDP2800 advanced development platforms product brief. Available from: http://www.Intel.com/design/network/ prodbrf/ixdp2x00.htm.
10. INTEL CORPORATION. Intel IXP2400 Network Processor: Flexible, highperformance solution for access and edge applications. Available from: http://www.Intel.com/design/network/papers/ixp2400.htm.
11. JOHNSON, E. J., AND KUNZE, A. IXP-1200 Programming: The Microengine Coding Guide for the Intel IXP1200 Network Processor Family. Intel Press, 2002.
12. KOBAYASHI, N. Quasi-linear types. In Conference Record of POPL 99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas (New York, NY, 1999), pp. 29-42.
13. POSTEL, J. Internet Protocol RFC 791. Internet Engineering Task Force, September 1981. Available from: http://www.ietf.org/rfc.html.
14. POSTEL, J. Internet Control Message Protocol, RFC 792. Internet Engineering Task Force, September 1981. Available from: http://www.ietf.org/rfc. html.
15. STROUSTRUP, B. The C++ programming language (third edition). AddisonWesley.
16. TURNER, D. N., WADLER, P., AND MOSSIN, C. Once upon a type. In Functional Programming Languages and Computer Architecture (1995), ACM Press.
17. YAVATKAR, R., AND H. VIN (EDS.). IEEE Network Magasine. Special issue on Network Processors: Architecture, Tools, and Applications 17, 4 (July 2003).