Matches in SemOpenAlex for { <https://semopenalex.org/work/W2418788414> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2418788414 abstract "When writing semantic descriptions of programming languages, it is convenient to have tools for checking the descriptions. With frameworks that use inductively defined semantic functions to map programs to their denotations, we would like to check that the semantic functions result in denotations with certain properties. In this paper we present a type system for a modular style of the action semantic framework that, given signatures of all the semantic functions used in a semantic equation defining a semantic function, performs a soft type check on the action in the semantic equation.<br /> <br />We introduce types for actions that describe different properties of the actions, like the type of data they expect and produce, whether they can fail or have side effects, etc. A type system for actions which uses these new action types is presented. Using the new action types in the signatures of semantic functions, the language describer can assert properties of semantic functions and have the assertions checked by an implementation of the type system.<br /> <br />The type system has been implemented for use in connection with the recently developed formalism ASDF. The formalism supports writing language definitions by combining modules that describe single language constructs. This is possible due to the inherent modularity in ASDF. We show how we manage to preserve the modularity and still perform specialised type checks for each module." @default.
- W2418788414 created "2016-06-24" @default.
- W2418788414 creator A5064027940 @default.
- W2418788414 date "2004-12-11" @default.
- W2418788414 modified "2023-10-01" @default.
- W2418788414 title "Type Checking Semantic Functions in ASDF" @default.
- W2418788414 cites W1492943981 @default.
- W2418788414 cites W1512095141 @default.
- W2418788414 cites W1518056771 @default.
- W2418788414 cites W1602009650 @default.
- W2418788414 cites W2022443117 @default.
- W2418788414 cites W2028870530 @default.
- W2418788414 cites W2129353279 @default.
- W2418788414 cites W2260835020 @default.
- W2418788414 cites W2294680933 @default.
- W2418788414 cites W2994791272 @default.
- W2418788414 cites W2096268381 @default.
- W2418788414 doi "https://doi.org/10.7146/brics.v11i35.21860" @default.
- W2418788414 hasPublicationYear "2004" @default.
- W2418788414 type Work @default.
- W2418788414 sameAs 2418788414 @default.
- W2418788414 citedByCount "0" @default.
- W2418788414 crossrefType "journal-article" @default.
- W2418788414 hasAuthorship W2418788414A5064027940 @default.
- W2418788414 hasBestOaLocation W24187884141 @default.
- W2418788414 hasConcept C101468663 @default.
- W2418788414 hasConcept C138958017 @default.
- W2418788414 hasConcept C142362112 @default.
- W2418788414 hasConcept C153349607 @default.
- W2418788414 hasConcept C154945302 @default.
- W2418788414 hasConcept C18903297 @default.
- W2418788414 hasConcept C199360897 @default.
- W2418788414 hasConcept C2777299769 @default.
- W2418788414 hasConcept C41008148 @default.
- W2418788414 hasConcept C558565934 @default.
- W2418788414 hasConcept C73301696 @default.
- W2418788414 hasConcept C80444323 @default.
- W2418788414 hasConcept C86803240 @default.
- W2418788414 hasConceptScore W2418788414C101468663 @default.
- W2418788414 hasConceptScore W2418788414C138958017 @default.
- W2418788414 hasConceptScore W2418788414C142362112 @default.
- W2418788414 hasConceptScore W2418788414C153349607 @default.
- W2418788414 hasConceptScore W2418788414C154945302 @default.
- W2418788414 hasConceptScore W2418788414C18903297 @default.
- W2418788414 hasConceptScore W2418788414C199360897 @default.
- W2418788414 hasConceptScore W2418788414C2777299769 @default.
- W2418788414 hasConceptScore W2418788414C41008148 @default.
- W2418788414 hasConceptScore W2418788414C558565934 @default.
- W2418788414 hasConceptScore W2418788414C73301696 @default.
- W2418788414 hasConceptScore W2418788414C80444323 @default.
- W2418788414 hasConceptScore W2418788414C86803240 @default.
- W2418788414 hasIssue "35" @default.
- W2418788414 hasLocation W24187884141 @default.
- W2418788414 hasOpenAccess W2418788414 @default.
- W2418788414 hasPrimaryLocation W24187884141 @default.
- W2418788414 hasRelatedWork W1504651774 @default.
- W2418788414 hasRelatedWork W1565501066 @default.
- W2418788414 hasRelatedWork W2025670560 @default.
- W2418788414 hasRelatedWork W2106354268 @default.
- W2418788414 hasRelatedWork W2763815264 @default.
- W2418788414 hasRelatedWork W2952657391 @default.
- W2418788414 hasRelatedWork W4233387348 @default.
- W2418788414 hasRelatedWork W4238823939 @default.
- W2418788414 hasRelatedWork W2522372746 @default.
- W2418788414 hasRelatedWork W2584819674 @default.
- W2418788414 hasVolume "11" @default.
- W2418788414 isParatext "false" @default.
- W2418788414 isRetracted "false" @default.
- W2418788414 magId "2418788414" @default.
- W2418788414 workType "article" @default.