Specifying the PLAN network programming langauge

Electronic Notes in Theoretical Computer Science

Volumn 26, Issue , 1999, Pages 87-104

  Kakkar, Pankaj ^a   Hicks, Michael ^a   Moore, Jon ^a   Gunter, Carl A ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING; FUNCTIONS; LOCAL AREA NETWORKS; MATHEMATICAL MODELS; PROGRAM INTERPRETERS; SEMANTICS;

DOMAIN SPECIFIC LANGUAGES (DSL); JAVA BYTE CODES; TIME TO LIVE (TTL); VIRTUAL MACHINES;

JAVA PROGRAMMING LANGUAGE;

EID: 0442270540     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80285-3     Document Type: Conference Paper

References (20)

1. Scott Alexander D., Arbaugh William A., Hicks Michael, Kakkar Pankaj, Keromytis Angelos, Moore Jonathan T., Gunter Carl A., Nettles Scott M., Smith Jonathan M. The switchware active network architecture. IEEE Network Magazine. 12:(3):May/June 1998;29-36. Special issue on Active and Controllable Networks
2. G. Berry and G. Boudol. The chemical abstract machine. In Proceedings of the 17th Annual Symposium of Programming Languages, pages 81-94, 1990.
3. Drew Dean. The security of static typing with dynamic linking. In Proceedings of the Fourth ACM Conference on Computer and Communications Security, Zurich, Switzerland, April 1997.
4. Naur P. Report on the algorithmic language ALGOL 60, Communications of the ACM. 6:1960;299-314
5. Stuart I. Feldman. Make-a program for maintaining computer programs. Software - Practice and Experience. 9:1979;255-265
6. Gosling James, Joy Bill, Steele Guy. The Java Language Specification. 1996;Addison Wesley
7. Olivier Danvy and Frank Pfenning. The occurrence of continuation parameters in CPS terms. Technical report CMU-CS-95-121, School of Computer Science, Carnegie Mellon University, Pittsburgh, Pennsylvania, February 1995.
8. Mike Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, and Scott Nettles. PLAN: A packet language for active networks. In Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming Languages, pages 86-93. ACM, 1998. http://www.cis.upenn.edu/~switchware/papers/plan.ps.
9. Mike Hicks, Jonathan T. Moore, Scott Alexander, Carl A. Gunter, and Scott Nettles. Planet: An active network testbed. http://www.cis.upenn.edu/ switchware/papers/planet.ps, February 1998.
10. IEEE Computer Society. IEEE Network: Special Issue on Active and Controllable Networks. volume 12:1998
11. IEEE Computer Society. IEEE Computer: Special Issue on Active Networks. volume 32:April 1999
12. Knuth D.E. The remaining troublespots in Algol 60. Comm. ACM. 10:(10):1967;611-617
13. Lamport Leslie. LaTeX: A Document Preparation System. Addison Wesley. 1994
14. Landin P. The mechanical evaluation of expressions. Comput. J. 6:1964;308-320
15. Lindholm Tim, Yellin Frank. The Java Virtual Machine Specification. Addison Wesley. 1996
16. Milner R., Tofte M., Harper R. The Definition of Standard ML. 1997;The MIT Press, 2nd edition
17. Naur P., Woodger M. Revised report on the algorithmic language ALGOL 60, Communications of the ACM. 6:1963;1-20
18. Oaks Scott. Java Security. O'Reilly. 1998
19. Royer Elizabeth M., Toh Chai-Keong. A review of current routing protocols for ad hoc mobile wireless networks. IEEE Personal Communications. April 1999;46-55
20. Tennenhouse David L., M. Smith Jonathan, Sincoskie W.David, Wetherall David J., Minden Gary J. A Survey of Active Network Research. IEEE Communications Magazine. 35:(1):January 1997;80-86