FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W206575229> ?p ?o ?g. }

• W206575229 endingPage "301" @default.
• W206575229 startingPage "281" @default.
• W206575229 abstract "We propose a language-independent symbolic execution framework for languages endowed with a formal operational semantics based on term rewriting. Starting from a given definition of a language, a new language definition is automatically generated, which has the same syntax as the original one but whose semantics extends data domains with symbolic values and adapts semantical rules to deal with these values. Then, the symbolic execution of concrete programs is the execution of programs with the new symbolic semantics, on symbolic input data. We prove that the symbolic execution thus defined has the properties naturally expected from it. A prototype implementation of our approach was developed in the $mathbb K$ Framework. We demonstrate the genericity of our tool by instantiating it on several languages, and show how it can be used for the symbolic execution and model checking of several programs." @default.
• W206575229 created "2016-06-24" @default.
• W206575229 creator A5048106549 @default.
• W206575229 creator A5052315997 @default.
• W206575229 creator A5066780988 @default.
• W206575229 date "2013-01-01" @default.
• W206575229 modified "2023-10-09" @default.
• W206575229 title "A Generic Framework for Symbolic Execution" @default.
• W206575229 cites W1480909796 @default.
• W206575229 cites W1519148922 @default.
• W206575229 cites W1579200056 @default.
• W206575229 cites W1579638562 @default.
• W206575229 cites W1720848645 @default.
• W206575229 cites W1983696848 @default.
• W206575229 cites W1986681177 @default.
• W206575229 cites W2009489720 @default.
• W206575229 cites W2042987983 @default.
• W206575229 cites W2048417351 @default.
• W206575229 cites W208073541 @default.
• W206575229 cites W2082172430 @default.
• W206575229 cites W2096449544 @default.
• W206575229 cites W2096506501 @default.
• W206575229 cites W2101512909 @default.
• W206575229 cites W2116752800 @default.
• W206575229 cites W2130162474 @default.
• W206575229 cites W2132897303 @default.
• W206575229 cites W2139088253 @default.
• W206575229 cites W2153207819 @default.
• W206575229 cites W2169063148 @default.
• W206575229 cites W2404119306 @default.
• W206575229 cites W2568033970 @default.
• W206575229 cites W3147129034 @default.
• W206575229 cites W4230919050 @default.
• W206575229 cites W4232276817 @default.
• W206575229 doi "https://doi.org/10.1007/978-3-319-02654-1_16" @default.
• W206575229 hasPublicationYear "2013" @default.
• W206575229 type Work @default.
• W206575229 sameAs 206575229 @default.
• W206575229 citedByCount "17" @default.
• W206575229 countsByYear W2065752292013 @default.
• W206575229 countsByYear W2065752292014 @default.
• W206575229 countsByYear W2065752292015 @default.
• W206575229 countsByYear W2065752292016 @default.
• W206575229 countsByYear W2065752292018 @default.
• W206575229 countsByYear W2065752292019 @default.
• W206575229 countsByYear W2065752292021 @default.
• W206575229 countsByYear W2065752292022 @default.
• W206575229 crossrefType "book-chapter" @default.
• W206575229 hasAuthorship W206575229A5048106549 @default.
• W206575229 hasAuthorship W206575229A5052315997 @default.
• W206575229 hasAuthorship W206575229A5066780988 @default.
• W206575229 hasBestOaLocation W2065752292 @default.
• W206575229 hasConcept C110251889 @default.
• W206575229 hasConcept C11171543 @default.
• W206575229 hasConcept C11219265 @default.
• W206575229 hasConcept C146499914 @default.
• W206575229 hasConcept C154690210 @default.
• W206575229 hasConcept C154945302 @default.
• W206575229 hasConcept C156325763 @default.
• W206575229 hasConcept C15744967 @default.
• W206575229 hasConcept C184337299 @default.
• W206575229 hasConcept C199360897 @default.
• W206575229 hasConcept C23123167 @default.
• W206575229 hasConcept C2776095079 @default.
• W206575229 hasConcept C2777904410 @default.
• W206575229 hasConcept C2779639559 @default.
• W206575229 hasConcept C41008148 @default.
• W206575229 hasConcept C60048249 @default.
• W206575229 hasConcept C65620979 @default.
• W206575229 hasConcept C80444323 @default.
• W206575229 hasConceptScore W206575229C110251889 @default.
• W206575229 hasConceptScore W206575229C11171543 @default.
• W206575229 hasConceptScore W206575229C11219265 @default.
• W206575229 hasConceptScore W206575229C146499914 @default.
• W206575229 hasConceptScore W206575229C154690210 @default.
• W206575229 hasConceptScore W206575229C154945302 @default.
• W206575229 hasConceptScore W206575229C156325763 @default.
• W206575229 hasConceptScore W206575229C15744967 @default.
• W206575229 hasConceptScore W206575229C184337299 @default.
• W206575229 hasConceptScore W206575229C199360897 @default.
• W206575229 hasConceptScore W206575229C23123167 @default.
• W206575229 hasConceptScore W206575229C2776095079 @default.
• W206575229 hasConceptScore W206575229C2777904410 @default.
• W206575229 hasConceptScore W206575229C2779639559 @default.
• W206575229 hasConceptScore W206575229C41008148 @default.
• W206575229 hasConceptScore W206575229C60048249 @default.
• W206575229 hasConceptScore W206575229C65620979 @default.
• W206575229 hasConceptScore W206575229C80444323 @default.
• W206575229 hasLocation W2065752291 @default.
• W206575229 hasLocation W2065752292 @default.
• W206575229 hasLocation W2065752293 @default.
• W206575229 hasLocation W2065752294 @default.
• W206575229 hasLocation W2065752295 @default.
• W206575229 hasOpenAccess W206575229 @default.
• W206575229 hasPrimaryLocation W2065752291 @default.
• W206575229 hasRelatedWork W2044213223 @default.
• W206575229 hasRelatedWork W2101264565 @default.
• W206575229 hasRelatedWork W2514597554 @default.

• next