Specifying the PLAN Network Programming Langauge

[1]  Xiangmin Zhang,et al.  Java Security , 2000 .

[2]  Elizabeth M. Belding-Royer,et al.  A review of current routing protocols for ad hoc mobile wireless networks , 1999, IEEE Wirel. Commun..

[3]  Carl A. Gunter,et al.  PLAN: a packet language for active networks , 1998, ICFP '98.

[4]  William A. Arbaugh,et al.  The SwitchWare active network architecture , 1998, IEEE Netw..

[5]  Troy Downing,et al.  Java Virtual Machine , 1997 .

[6]  Drew Dean,et al.  The security of static typing with dynamic linking , 1997, CCS '97.

[7]  Frank Yellin,et al.  The Java Virtual Machine Specification , 1996 .

[8]  Guy L. Steele,et al.  The Java Language Specification , 1996 .

[9]  Gérard Berry,et al.  The chemical abstract machine , 1989, POPL '90.

[10]  Leslie Lamport,et al.  Latex : A Document Preparation System , 1985 .

[11]  Stuart I. Feldman,et al.  Make — a program for maintaining computer programs , 1979, Softw. Pract. Exp..

[12]  Donald E. Knuth,et al.  The remaining trouble spots in ALGOL 60 , 1967, Commun. ACM.

[13]  J. E. L. Peck,et al.  Revised report on the algorithmic languageAlgol 60 , 1962, Springer Berlin Heidelberg.

[14]  Friedrich L. Bauer,et al.  Report on the algorithmic language ALGOL 60 , 1960, Commun. ACM.

[15]  Liwu Li,et al.  The Java Language , 1998 .

[16]  G.J. Minden,et al.  A survey of active network research , 1997, IEEE Communications Magazine.

[17]  Robin Milner,et al.  Definition of standard ML , 1990 .

[18]  P. J. Landin.  The Mechanical Evaluation of Expressions , 1964, Comput. J..