Matches in SemOpenAlex for { <https://semopenalex.org/work/W2416426702> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2416426702 abstract "eCST is an innovative, language-independent intermediate source code representation designed as a basis of approach applied in development of SSQSA framework. This framework provides an infrastructure for consistent static software analysis. Tempura is a formal specification language, while Tempura programs are executable ITL (Interval Temporal Logic) specifications. This paper describes required steps to enable generation of eCST representation of Tempura code which leads to an incorporation of Tempura language in the infrastructure of SSQSA framework. This incorporation serves as a proof of concept that a formal specification language (like Tempura) can be successfully represented with an intermediate language representation (like eCST) that was primarily aimed for representation of “classical” programming languages." @default.
- W2416426702 created "2016-06-24" @default.
- W2416426702 creator A5006048466 @default.
- W2416426702 creator A5045086047 @default.
- W2416426702 creator A5061593701 @default.
- W2416426702 date "2016-01-01" @default.
- W2416426702 modified "2023-09-25" @default.
- W2416426702 title "Translation of Tempura specifications to eCST" @default.
- W2416426702 cites W1497559908 @default.
- W2416426702 cites W1984865692 @default.
- W2416426702 cites W2018951244 @default.
- W2416426702 cites W2033439232 @default.
- W2416426702 cites W2091232155 @default.
- W2416426702 cites W2150952278 @default.
- W2416426702 cites W4236957036 @default.
- W2416426702 cites W4248027902 @default.
- W2416426702 doi "https://doi.org/10.1063/1.4952028" @default.
- W2416426702 hasPublicationYear "2016" @default.
- W2416426702 type Work @default.
- W2416426702 sameAs 2416426702 @default.
- W2416426702 citedByCount "2" @default.
- W2416426702 countsByYear W24164267022018 @default.
- W2416426702 crossrefType "proceedings-article" @default.
- W2416426702 hasAuthorship W2416426702A5006048466 @default.
- W2416426702 hasAuthorship W2416426702A5045086047 @default.
- W2416426702 hasAuthorship W2416426702A5061593701 @default.
- W2416426702 hasConcept C116253237 @default.
- W2416426702 hasConcept C160145156 @default.
- W2416426702 hasConcept C169590947 @default.
- W2416426702 hasConcept C17744445 @default.
- W2416426702 hasConcept C199360897 @default.
- W2416426702 hasConcept C199539241 @default.
- W2416426702 hasConcept C201677973 @default.
- W2416426702 hasConcept C2776359362 @default.
- W2416426702 hasConcept C41008148 @default.
- W2416426702 hasConcept C77660490 @default.
- W2416426702 hasConcept C94625758 @default.
- W2416426702 hasConceptScore W2416426702C116253237 @default.
- W2416426702 hasConceptScore W2416426702C160145156 @default.
- W2416426702 hasConceptScore W2416426702C169590947 @default.
- W2416426702 hasConceptScore W2416426702C17744445 @default.
- W2416426702 hasConceptScore W2416426702C199360897 @default.
- W2416426702 hasConceptScore W2416426702C199539241 @default.
- W2416426702 hasConceptScore W2416426702C201677973 @default.
- W2416426702 hasConceptScore W2416426702C2776359362 @default.
- W2416426702 hasConceptScore W2416426702C41008148 @default.
- W2416426702 hasConceptScore W2416426702C77660490 @default.
- W2416426702 hasConceptScore W2416426702C94625758 @default.
- W2416426702 hasLocation W24164267021 @default.
- W2416426702 hasOpenAccess W2416426702 @default.
- W2416426702 hasPrimaryLocation W24164267021 @default.
- W2416426702 hasRelatedWork W1559579193 @default.
- W2416426702 hasRelatedWork W2047524021 @default.
- W2416426702 hasRelatedWork W2051386633 @default.
- W2416426702 hasRelatedWork W2170015205 @default.
- W2416426702 hasRelatedWork W2325262602 @default.
- W2416426702 hasRelatedWork W2347845734 @default.
- W2416426702 hasRelatedWork W2350068048 @default.
- W2416426702 hasRelatedWork W2378785653 @default.
- W2416426702 hasRelatedWork W4361193698 @default.
- W2416426702 hasRelatedWork W1941754455 @default.
- W2416426702 isParatext "false" @default.
- W2416426702 isRetracted "false" @default.
- W2416426702 magId "2416426702" @default.
- W2416426702 workType "article" @default.