Safe Compositional Specification of Networking Systems: TRAFFIC The Language and Its Type Checking

This paper formally defines the operational semantic for TRAFFIC, a specification language for flow composition applications proposed in BUCS-TR-2005-014, and presents a type system based on desired safety assurance. We provide proofs on reduction (weak-confluence, strong-normalization and unique normal form), on soundness and completeness of type system with respect to reduction, and on equivalence classes of flow specifications. Finally, we provide a pseudo-code listing of a syntax-directed type checking algorithm implementing rules of the type system capable of inferring the type of a closed flow specification.

The island empire of the East : being a short history of Japan and missionary work therein with special reference to the mission of the M.S.C.C. / by Rev. J. Cooper Robinson ; with an introduction by the lord bishop of Algoma.

http://www.archive.org/details/theislandempire00robiuoft