Show simple item record

dc.contributor.authorKfoury, Assafen_US
dc.date.accessioned2015-06-24T19:48:32Z
dc.date.available2015-06-24T19:48:32Z
dc.date.issued2011-05-11en_US
dc.identifier.citationKfoury, Assaf. "A Domain-Specific Language for the Incremental and Modular Design of Large-Scale Verifiably-Safe Flow Networks", Technical Report BUCS-TR-2011-011, Computer Science Department, Boston University, May 11, 2011. [Available from: http://hdl.handle.net/2144/11368]en_US
dc.identifier.urihttps://hdl.handle.net/2144/11368
dc.description.abstractFlow networks are inductively defined, assembled from small networks or modules 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 is a typing system (or static semantics), a system of formal annotations that enforce desirable properties of flow networks as invariants across their interfaces. A prerequisite for a type theory is a formal semantics, i.e., a rigorous definition of the entities that qualify as feasible flows through the networks, possibly restricted to satisfy additional efficiency or safety requirements. We carry out this in two ways, as a denotational semantics and as an operational (or reduction) semantics.en_US
dc.language.isoen_USen_US
dc.publisherComputer Science Department, Boston Universityen_US
dc.relation.ispartofseriesBUCS Technical Reports;BUCS-TR-2011-011en_US
dc.titleA domain-specific language for the incremental and modular design of large-scale verifiably-safe flow networksen_US
dc.typeTechnical Reporten_US
dc.relation.isnodouble11688*


This item appears in the following Collection(s)

Show simple item record