Download:
|
by Pankaj Kakkar, Michael Hicks, Jon Moore, Carl A. Gunter
http://www.cis.upenn.edu/~jonm/papers/hoots99.ps
Add To MetaCart
Abstract:
We discuss how the specification of the PLAN programming language supports the design objectives of the language. The specification aims to provide a mathematically precise operational semantics that can serve as a standard for implementing interpreters and portable programs. The semantics should also support proofs of key properties of PLAN that would hold of all conformant implementations. This paper discusses two such properties. (1) Type checking is required, but interpreters are given significant flexibility about when types are checked; the specification must support a clear description of the possible behaviors of a network of conformant implementations. (2) It is essential to have guarantees about how PLAN programs use global resources, but the specification must be flexible about extensions in the network service layer. We illustrate on of kind of issue that will arise in using to specification to prove properties of the network based on the choice of services. 1
Citations
|
1483
|
The Definition of Standard ML
– Milner, Tofte, et al.
- 1990
|
|
1452
|
The Java Language Specification
– Gosling, Joy, et al.
- 1996
|
|
919
|
The Java Virtual Machine Specification
– Lindholm, Yellin
- 1996
|
|
445
|
A survey of active network research
– Tennenhouse, Smith, et al.
- 1997
|
|
415
|
The chemical abstract machine
– Berry, Boudol
- 1999
|
|
354
|
LaTeX: A document preparation system
– Lamport
- 1986
|
|
272
|
Make — a program for maintaining computer programs
– Feldman
- 1979
|
|
263
|
The Mechanical Evaluation of Expressions
– Landin
- 1964
|
|
152
|
PLAN: A packet language for active networks
– Hicks, Kakkar, et al.
- 1998
|
|
137
|
The SwitchWare active network architecture
– Alexander, Arbaugh, et al.
- 1998
|
|
106
|
Revised Report on the Algorithmic Language ALGOL 60
– Naur
- 1960
|
|
66
|
The Security of Static Typing with Dynamic Linking
– Dean
- 1997
|
|
63
|
and Chai-Keong Toh, “A Review of Current Routing Protocols for Ad Hoc Mobile Wireless Networks
– Royer, Barbara
- 1999
|
|
3
|
The remaining troublespots in algol 60
– Knuth
- 1967
|
|
2
|
and Pankaj Kakkar. Reasoning about secrecy and integrity for active networks. http://www.cis.upenn.edu/~switchware/papers/ secrecy.ps
– Gunter
- 1999
|
