A language-based approach to programmable networks

2000 IEEE 3rd Conference on Open Architectures and Network Programming Proceedings, OPENARCH 2000

Volumn , Issue , 2000, Pages 128-137

  Wakeman, I ^a   Jeffrey, A ^a   Owen, T ^a  

^a UNIVERSITY OF SUSSEX   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER ARCHITECTURE; COMPUTER SIMULATION LANGUAGES; MIDDLEWARE; PROGRAM COMPILERS; PROGRAMMED CONTROL SYSTEMS; SCHEDULING ALGORITHMS; SEMANTICS;

COMMUNICATION LIBRARY; NETWORK PROGRAMMING MODEL; PERFORMANCE PROBLEMS; PROGRAMMABLE NETWORK; RUNTIME ENVIRONMENTS; SHARED RESOURCES; SIMULATION ENVIRONMENT; SINGLE- MACHINES;

NETWORK ARCHITECTURE;

EID: 84962291723     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/OPNARC.2000.828140     Document Type: Conference Paper

References (34)

1. S. Floyd and V. Jacobson. Link-sharing and resource management models for packet networks. IEEE/ACM Transactions on Networking, 1995.
2. David D. Clark, Scott Shenker, and Lixia Zhang. Supporting real- time applications in an integrated services packet network architecture and mechanism. In Proceedings of SIGCOMM 92, 1992.
3. David D. Clark and Wenjia Fang. Explicit allocation of best effort packet delivery service. http://diffserv.lcs.mit.edu/.
4. L. Zhang et al. Rsvp: A new resource reservation protocol. IEEE Network, September 1993.
5. Aurel Lazar, Koon-Seng Lim, and Franco Marconcini. Realizing a foundation for programmability of atm networks with the binding architecture. IEEE Journal on Selcted Areas in Communications, September 1996.
6. Elan Amir, Steven McCanne, and Randy Katz. An active service framework and its application to real-time multimedia transcoding. In Proceedings of SIGCOMM 98, Vancouver, British Columbia, September 1998.
7. Danny Lange and Mitsuru Oshima. Programming and Deploying Java Mobile Agents with Aglets. Addison-Wesley, 1998.
8. Atanu Ghosh and Mike Fry. Application level active networking. In Hipparch Workshop. UCL, London, UK, June 1998.
9. D. L. Tennenhouse and D. J. Wetherall. Towards an active network architecture. Computer Communication Review, 1996.
10. Philippe Bernadat, Dan Lambright, and Franco Travostino. Towards a resource-safe java for service guarantees in uncooperative environments. In IEEE workshop on Programming Languages for Real-Time Industrial Applications, September 1998.
11. Brian Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gun Sirer, David Becker, Marc Fiuczynski, Craig Chambers, and Susan Eggers. Extensibility, safety and performance in the spin operating system,. In Proceedings of the 15th ACM Symposium on Operating System Principles (SOSP-15), pages 267-28, Copper Mountain, CO, 1996.
12. Scott Alexander, Scott Nettles, Marianne Shaw, and Jonathan Smith. Active bridging. In Proceedings of SIGCOMM 97, Cannes, France, August 1997. ACM.
13. Malcolm McIlhagga Ian Wakeman and Andy Ormsby. Signalling in a component based world. In Proceedings of the First IEEE Open Architectures for Signalling, San Francisco, Ca., April 1998.
14. Malcolm McIlhagga, Ann Light, and Ian Wakeman. Towards a design methodology for adaptive applications. In Fourth ACM/IEEE International Conference on Mobile Computing and Networking (MobiCom'98), October 1998.
15. G. Kiczales. Beyond the black box: Open implementation. IEEE Software, January 1996.
16. D. Scott Alexander, William A. Arbaugh, Michael W. Hicks, Pankaj Kakkar, Angelos D. Keromytis, Jonathan T. Moore, Carl A. Gunter, Scott M. Nettles, and Jonathan M. Smith. The switchware active network architecture. EEE Network Special Issue on Active and Controllable Networks, 12(3):29-36, 1998.
17. A.S.A. Jeffrey. A distributed object caculus. Submitted to HOOTS 99., 1999.
18. Gilad Bracha, Martin Odersky, David Stoutamire, , and Philip Wadler. Making the future safe for the past: Adding genericity to the java programming language. In OOPSLA 98, Vancouver, October 1998.
19. Martin Odersky and Philip Wadler. Pizza into java: Translating theory into practice. In 24th ACM Symposium on Principles of Programming Languages, Paris, , January 1997.
20. J.-Y. Girard. Linear logic. Theoret. Comput. Sci., 50:1-102, 1987.
21. N. Benton, G. Bierman, V. de Paiva, and M. Hyland. A term calculus for intuitionistic linear logic. In Proc. Int. Conf. Typed Lambda Calculi and Applications, number 664 in LNCS. Springer-Verlag, 1993.
22. Sheng Liang and Gilad Bracha. Dynamic class loading in the java virtual machine. In OOPSLA 98, Vancouver BC, October 1998. ACM.
23. Mads Tofte and Jean-Pierre Talpin. Region-based memory management. Information and Computation, 132(2):109-176, 1997.
24. E. Moggi. Notions of computation and monad. Inform. and Comput., 93:55-92, 1991
25. Philip Wadler. Comprehending monads. In Proc. 1990 ACM Conf. Lisp and Functional Programming, pages 61-78, 1990.
26. A.J. Power and E.P. Robinson. Premonoidal categories and notions of computation. Math. Struct. in Comput. Science, 1999.
27. Peter Selinger. Control categories: an axiomatic approach to the semantics of control in functional languages. Presented at MFPS '98, London, 1998.
28. R. Milner, J. Parrow, and D. Walker. A calculus of mobile proceses. Inform. and Comput., 100(1):1-77, 1992.
29. Luca Cardelli and Andrew D. Gordon. Mobile ambients. Unpublished manuscript, 1997.
30. Peter Sewell. Global/local subtyping for a distributed π-calculus. Technical Report 435, Computer Laboratory, University of Cambridge, 1997.
31. J. Riely and M. Hennessy. Distributed processes and location failures. Technical Report 2/97, Univ. Sussex, 1997. Also presented at ICALP '97.
32. A. Gordon and M. Abadi. A calculus for cryptographic protocols: The spi calculus. Research Report 149, Digital Equipment Corporation Systems Research Center, 1998. To appear in Information and Computation.
33. Andrew D. Gordon. A calculus for cryptographic protocols: The spi calculus. In Proc. ACM Conf. on Computer and Communications Security, pages 36-47. ACM Press, 1997.
34. Andrew D. Gordon. Nominal calculi for security and mobility. In Proc. DARPA Workshop on Foundations for Secure Mobile Code, pages 10-14, 1997.