Specifying the PLAN network programming langauge

Pankaj Kakkar, Michael Hicks, Jon Moore, Carl A. Gunter

Research output: Contribution to journalConference articlepeer-review


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.

Original languageEnglish (US)
Pages (from-to)87-104
Number of pages18
JournalElectronic Notes in Theoretical Computer Science
StatePublished - 1999
Externally publishedYes
EventHOOTS '99, Higher Order Operational Techniques in Semantics - Paris, France
Duration: Sep 30 1999Oct 1 1999

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Specifying the PLAN network programming langauge'. Together they form a unique fingerprint.

Cite this