Specifying the PLAN Network Programming

We discuss how the speci cation of the PLAN programming language supports the design objectives of the language. The speci cation 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… CONTINUE READING