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

dc.contributor.author	Liu, Likai	en_US
dc.contributor.author	Kfoury, Assaf J.	en_US
dc.contributor.author	Bestavros, Azer	en_US
dc.contributor.author	Bradley, Adam D.	en_US
dc.contributor.author	Gabay, Yarom	en_US
dc.contributor.author	Matta, Ibrahim	en_US
dc.date.accessioned	2011-10-20T05:22:55Z
dc.date.available	2011-10-20T05:22:55Z
dc.date.issued	2005-05-01	en_US
dc.identifier.uri	http://hdl.handle.net/2144/1841
dc.description.abstract	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.	en_US
dc.description.sponsorship	National Science Foundation (ITR ANI-0205294, ANI-0095988, ANI-9986397, EIA-0202067)	en_US
dc.language.iso	en_US	en_US
dc.publisher	Boston University Computer Science Department	en_US
dc.relation.ispartofseries	BUCS Technical Reports;BUCS-TR-2005-015	en_US
dc.title	Safe Compositional Specification of Networking Systems: TRAFFIC The Language and Its Type Checking	en_US
dc.type	Technical Report	en_US