Matches in SemOpenAlex for { <https://semopenalex.org/work/W631877632> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W631877632 endingPage "10" @default.
- W631877632 startingPage "1" @default.
- W631877632 abstract "Tools for code-level program analysis need formats to express various properties, like relevant properties of the environment where the analysed code will execute, and the analysis results. Different WCET analysis tools typically use tool-specific annotation languages for this purpose. These languages are often geared towards expressing properties that the particular tool can handle rather than being general, and mostly their semantics is only specified informally. This makes it harder for tools to communicate, as well as for users to provide relevant information to them. Here, we propose a small but general assertion language for value constraints including IPET flow facts, which is an important class of annotations for WCET analysis tools. We show how to express interesting properties in this language, we propose some syntactic conveniences, and we give the language a formal semantics. The language could be used directly as a tool-independent annotation language, or as a meta-language to give exact semantics to existing value annotation and flow fact formats." @default.
- W631877632 created "2016-06-24" @default.
- W631877632 creator A5062612658 @default.
- W631877632 date "2014-01-01" @default.
- W631877632 modified "2023-09-23" @default.
- W631877632 title "Principles for Value Annotation Languages" @default.
- W631877632 doi "https://doi.org/10.4230/oasics.wcet.2014.1" @default.
- W631877632 hasPublicationYear "2014" @default.
- W631877632 type Work @default.
- W631877632 sameAs 631877632 @default.
- W631877632 citedByCount "2" @default.
- W631877632 countsByYear W6318776322015 @default.
- W631877632 crossrefType "proceedings-article" @default.
- W631877632 hasAuthorship W631877632A5062612658 @default.
- W631877632 hasConcept C119857082 @default.
- W631877632 hasConcept C154945302 @default.
- W631877632 hasConcept C184337299 @default.
- W631877632 hasConcept C199360897 @default.
- W631877632 hasConcept C204321447 @default.
- W631877632 hasConcept C2776291640 @default.
- W631877632 hasConcept C2776321320 @default.
- W631877632 hasConcept C2777212361 @default.
- W631877632 hasConcept C40422974 @default.
- W631877632 hasConcept C41008148 @default.
- W631877632 hasConceptScore W631877632C119857082 @default.
- W631877632 hasConceptScore W631877632C154945302 @default.
- W631877632 hasConceptScore W631877632C184337299 @default.
- W631877632 hasConceptScore W631877632C199360897 @default.
- W631877632 hasConceptScore W631877632C204321447 @default.
- W631877632 hasConceptScore W631877632C2776291640 @default.
- W631877632 hasConceptScore W631877632C2776321320 @default.
- W631877632 hasConceptScore W631877632C2777212361 @default.
- W631877632 hasConceptScore W631877632C40422974 @default.
- W631877632 hasConceptScore W631877632C41008148 @default.
- W631877632 hasLocation W6318776321 @default.
- W631877632 hasOpenAccess W631877632 @default.
- W631877632 hasPrimaryLocation W6318776321 @default.
- W631877632 hasRelatedWork W111961970 @default.
- W631877632 hasRelatedWork W128387175 @default.
- W631877632 hasRelatedWork W1483553521 @default.
- W631877632 hasRelatedWork W1636676415 @default.
- W631877632 hasRelatedWork W1983346515 @default.
- W631877632 hasRelatedWork W1992003147 @default.
- W631877632 hasRelatedWork W2026627692 @default.
- W631877632 hasRelatedWork W2032563151 @default.
- W631877632 hasRelatedWork W2106707281 @default.
- W631877632 hasRelatedWork W2146150480 @default.
- W631877632 hasRelatedWork W2161115552 @default.
- W631877632 hasRelatedWork W2167938659 @default.
- W631877632 hasRelatedWork W2397197317 @default.
- W631877632 hasRelatedWork W2907005153 @default.
- W631877632 hasRelatedWork W3005161294 @default.
- W631877632 hasRelatedWork W3029762048 @default.
- W631877632 hasRelatedWork W3105832303 @default.
- W631877632 hasRelatedWork W398989406 @default.
- W631877632 hasRelatedWork W50086589 @default.
- W631877632 hasRelatedWork W212588424 @default.
- W631877632 hasVolume "39" @default.
- W631877632 isParatext "false" @default.
- W631877632 isRetracted "false" @default.
- W631877632 magId "631877632" @default.
- W631877632 workType "article" @default.