Show simple item record

dc.contributor.authorKfoury, Assafen_US
dc.date2012-02-15en_US
dc.date.accessioned2015-06-24T19:48:44Z
dc.date.available2015-06-24T19:48:44Z
dc.date.issued2012-02-17en_US
dc.identifier.citationKfoury, Assaf. "The Syntax and Semantics of a Domain-Specific Language for Flow-Network Design", Technical Report BUCS-TR-2012-003, Computer Science Department, Boston University, February 17, 2012. [Available from: http://hdl.handle.net/2144/11391]en_US
dc.identifier.urihttps://hdl.handle.net/2144/11391
dc.description.abstractFlow networks are inductively defined, assembled from small components to produce arbitrarily large ones, with interchangeable functionally-equivalent parts. We carry out this induction formally using a domain-specific language (DSL). Associated with our DSL are a semantics and a typing theory. The latter gives rise to a system of formal annotations that enforce desirable properties of flow networks as invariants across their interfaces. A prerequisite for a typing theory is a formal semantics, i.e., a rigorous characterization of flows that are safe (or just feasible in this report) for the network, possibly restricted to satisfy additional efficiency or safety requirements. We give a detailed presentation of a denotational semantics only, but also point out the elements that an equivalent operational semantics must include.en_US
dc.description.sponsorshipNational Science Foundation (CNS-0952145, CCF-0820138, CSR-0720604, CNS-1012798, EFRI-0735974)en_US
dc.language.isoen_USen_US
dc.publisherComputer Science Department, Boston Universityen_US
dc.relation.ispartofseriesBUCS Technical Reports;BUCS-TR-2012-003en_US
dc.subjectNetwork specificationen_US
dc.subjectFlow conservationen_US
dc.subjectCapacity constrainten_US
dc.subjectTypingen_US
dc.subjectVector spaceen_US
dc.titleThe syntax and semantics of a domain-specific language for flow-network designen_US
dc.typeTechnical Reporten_US
dc.relation.isnodouble11689*


This item appears in the following Collection(s)

Show simple item record