Matches in SemOpenAlex for { <https://semopenalex.org/work/W196354470> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W196354470 abstract "In the design of embedded control systems, a variety of languages are used by different teams and in different development phases. Part of this variety comes from the use of domain-specific modeling languages that are tailored to the mental concepts of the user. This puts forward the need for efficient, systematic, and structured design of the modeling languages themselves. In particular, a precise and preferably executable specification of the language should be provided, although not all domain-specific language may be specified in this manner. A denotational semantics can provide such a specification. This paper presents a denotational semantics for a language BdAppLang. BdAppLang can be viewed as an abstract syntax for a simple subset of the domain-specific language of causal block diagrams, which are predominantly used in the system-level phase of control system design. The semantics are given in Haskell, and thus are executable while still conforming to the tradition of giving denotational semantics in a language derived from the lambda calculus." @default.
- W196354470 created "2016-06-24" @default.
- W196354470 creator A5007007501 @default.
- W196354470 creator A5011967036 @default.
- W196354470 creator A5023756735 @default.
- W196354470 date "2005-01-01" @default.
- W196354470 modified "2023-09-26" @default.
- W196354470 title "TOWARDS AN EXECUTABLE DENOTATIONAL SEMANTICS FOR CAUSAL BLOCK DIAGRAMS" @default.
- W196354470 cites W1544331224 @default.
- W196354470 cites W163194254 @default.
- W196354470 cites W2100134099 @default.
- W196354470 cites W2105700497 @default.
- W196354470 cites W2111304450 @default.
- W196354470 cites W2127988560 @default.
- W196354470 cites W2135417070 @default.
- W196354470 cites W2156938039 @default.
- W196354470 cites W2171215675 @default.
- W196354470 cites W2323382780 @default.
- W196354470 cites W2407314839 @default.
- W196354470 hasPublicationYear "2005" @default.
- W196354470 type Work @default.
- W196354470 sameAs 196354470 @default.
- W196354470 citedByCount "4" @default.
- W196354470 countsByYear W1963544702013 @default.
- W196354470 countsByYear W1963544702019 @default.
- W196354470 crossrefType "journal-article" @default.
- W196354470 hasAuthorship W196354470A5007007501 @default.
- W196354470 hasAuthorship W196354470A5011967036 @default.
- W196354470 hasAuthorship W196354470A5023756735 @default.
- W196354470 hasConcept C114408938 @default.
- W196354470 hasConcept C118615104 @default.
- W196354470 hasConcept C136197465 @default.
- W196354470 hasConcept C150607116 @default.
- W196354470 hasConcept C154945302 @default.
- W196354470 hasConcept C156325763 @default.
- W196354470 hasConcept C160145156 @default.
- W196354470 hasConcept C184337299 @default.
- W196354470 hasConcept C199360897 @default.
- W196354470 hasConcept C204321447 @default.
- W196354470 hasConcept C207648694 @default.
- W196354470 hasConcept C29585364 @default.
- W196354470 hasConcept C33923547 @default.
- W196354470 hasConcept C41008148 @default.
- W196354470 hasConcept C60048249 @default.
- W196354470 hasConcept C87365073 @default.
- W196354470 hasConcept C89448276 @default.
- W196354470 hasConceptScore W196354470C114408938 @default.
- W196354470 hasConceptScore W196354470C118615104 @default.
- W196354470 hasConceptScore W196354470C136197465 @default.
- W196354470 hasConceptScore W196354470C150607116 @default.
- W196354470 hasConceptScore W196354470C154945302 @default.
- W196354470 hasConceptScore W196354470C156325763 @default.
- W196354470 hasConceptScore W196354470C160145156 @default.
- W196354470 hasConceptScore W196354470C184337299 @default.
- W196354470 hasConceptScore W196354470C199360897 @default.
- W196354470 hasConceptScore W196354470C204321447 @default.
- W196354470 hasConceptScore W196354470C207648694 @default.
- W196354470 hasConceptScore W196354470C29585364 @default.
- W196354470 hasConceptScore W196354470C33923547 @default.
- W196354470 hasConceptScore W196354470C41008148 @default.
- W196354470 hasConceptScore W196354470C60048249 @default.
- W196354470 hasConceptScore W196354470C87365073 @default.
- W196354470 hasConceptScore W196354470C89448276 @default.
- W196354470 hasLocation W1963544701 @default.
- W196354470 hasOpenAccess W196354470 @default.
- W196354470 hasPrimaryLocation W1963544701 @default.
- W196354470 hasRelatedWork W1422032522 @default.
- W196354470 hasRelatedWork W1492764525 @default.
- W196354470 hasRelatedWork W1494047408 @default.
- W196354470 hasRelatedWork W1504033104 @default.
- W196354470 hasRelatedWork W1532465792 @default.
- W196354470 hasRelatedWork W1543903758 @default.
- W196354470 hasRelatedWork W186214884 @default.
- W196354470 hasRelatedWork W2058113895 @default.
- W196354470 hasRelatedWork W2071402994 @default.
- W196354470 hasRelatedWork W2167554611 @default.
- W196354470 hasRelatedWork W2188386601 @default.
- W196354470 hasRelatedWork W2400134108 @default.
- W196354470 hasRelatedWork W2485291334 @default.
- W196354470 hasRelatedWork W2811267729 @default.
- W196354470 hasRelatedWork W2902941790 @default.
- W196354470 hasRelatedWork W3134644061 @default.
- W196354470 hasRelatedWork W67940253 @default.
- W196354470 hasRelatedWork W769797923 @default.
- W196354470 hasRelatedWork W1695638235 @default.
- W196354470 hasRelatedWork W2555036830 @default.
- W196354470 isParatext "false" @default.
- W196354470 isRetracted "false" @default.
- W196354470 magId "196354470" @default.
- W196354470 workType "article" @default.