Matches in SemOpenAlex for { <https://semopenalex.org/work/W2495603516> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2495603516 abstract "Flow networks are inductively defined, assembled from small network modules to produce arbitrarily large ones, with interchangeable and expanding functionallyequivalent 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 via a denotational semantics." @default.
- W2495603516 created "2016-08-23" @default.
- W2495603516 creator A5090898185 @default.
- W2495603516 date "2011-07-11" @default.
- W2495603516 modified "2023-09-22" @default.
- W2495603516 title "The denotational and static semantics of a domain-specific language for flow-network design" @default.
- W2495603516 cites W133809791 @default.
- W2495603516 cites W1549942386 @default.
- W2495603516 cites W1567996276 @default.
- W2495603516 cites W1601124623 @default.
- W2495603516 cites W1637976039 @default.
- W2495603516 cites W2004400944 @default.
- W2495603516 cites W2018854027 @default.
- W2495603516 cites W2073264848 @default.
- W2495603516 cites W2087320563 @default.
- W2495603516 cites W2092267200 @default.
- W2495603516 cites W2106488259 @default.
- W2495603516 cites W2115746395 @default.
- W2495603516 cites W2127036198 @default.
- W2495603516 cites W2132661148 @default.
- W2495603516 cites W2137676590 @default.
- W2495603516 cites W2149746504 @default.
- W2495603516 cites W2151445397 @default.
- W2495603516 cites W2153177812 @default.
- W2495603516 cites W2261341362 @default.
- W2495603516 cites W3020907590 @default.
- W2495603516 hasPublicationYear "2011" @default.
- W2495603516 type Work @default.
- W2495603516 sameAs 2495603516 @default.
- W2495603516 citedByCount "0" @default.
- W2495603516 crossrefType "journal-article" @default.
- W2495603516 hasAuthorship W2495603516A5090898185 @default.
- W2495603516 hasConcept C118615104 @default.
- W2495603516 hasConcept C134306372 @default.
- W2495603516 hasConcept C146499914 @default.
- W2495603516 hasConcept C150607116 @default.
- W2495603516 hasConcept C156325763 @default.
- W2495603516 hasConcept C184337299 @default.
- W2495603516 hasConcept C199360897 @default.
- W2495603516 hasConcept C201374245 @default.
- W2495603516 hasConcept C207648694 @default.
- W2495603516 hasConcept C29585364 @default.
- W2495603516 hasConcept C33923547 @default.
- W2495603516 hasConcept C36503486 @default.
- W2495603516 hasConcept C41008148 @default.
- W2495603516 hasConcept C76155785 @default.
- W2495603516 hasConcept C80444323 @default.
- W2495603516 hasConcept C89448276 @default.
- W2495603516 hasConceptScore W2495603516C118615104 @default.
- W2495603516 hasConceptScore W2495603516C134306372 @default.
- W2495603516 hasConceptScore W2495603516C146499914 @default.
- W2495603516 hasConceptScore W2495603516C150607116 @default.
- W2495603516 hasConceptScore W2495603516C156325763 @default.
- W2495603516 hasConceptScore W2495603516C184337299 @default.
- W2495603516 hasConceptScore W2495603516C199360897 @default.
- W2495603516 hasConceptScore W2495603516C201374245 @default.
- W2495603516 hasConceptScore W2495603516C207648694 @default.
- W2495603516 hasConceptScore W2495603516C29585364 @default.
- W2495603516 hasConceptScore W2495603516C33923547 @default.
- W2495603516 hasConceptScore W2495603516C36503486 @default.
- W2495603516 hasConceptScore W2495603516C41008148 @default.
- W2495603516 hasConceptScore W2495603516C76155785 @default.
- W2495603516 hasConceptScore W2495603516C80444323 @default.
- W2495603516 hasConceptScore W2495603516C89448276 @default.
- W2495603516 hasLocation W24956035161 @default.
- W2495603516 hasOpenAccess W2495603516 @default.
- W2495603516 hasPrimaryLocation W24956035161 @default.
- W2495603516 hasRelatedWork W1493950382 @default.
- W2495603516 hasRelatedWork W1494047408 @default.
- W2495603516 hasRelatedWork W1541596745 @default.
- W2495603516 hasRelatedWork W1542063909 @default.
- W2495603516 hasRelatedWork W1545032493 @default.
- W2495603516 hasRelatedWork W1551355572 @default.
- W2495603516 hasRelatedWork W1597593761 @default.
- W2495603516 hasRelatedWork W1988438613 @default.
- W2495603516 hasRelatedWork W2033531910 @default.
- W2495603516 hasRelatedWork W2066556632 @default.
- W2495603516 hasRelatedWork W2072493788 @default.
- W2495603516 hasRelatedWork W2123242969 @default.
- W2495603516 hasRelatedWork W2129022555 @default.
- W2495603516 hasRelatedWork W2154982982 @default.
- W2495603516 hasRelatedWork W3134644061 @default.
- W2495603516 hasRelatedWork W3139603584 @default.
- W2495603516 hasRelatedWork W380318771 @default.
- W2495603516 hasRelatedWork W75631880 @default.
- W2495603516 hasRelatedWork W2101082308 @default.
- W2495603516 hasRelatedWork W2113707023 @default.
- W2495603516 isParatext "false" @default.
- W2495603516 isRetracted "false" @default.
- W2495603516 magId "2495603516" @default.
- W2495603516 workType "article" @default.