Matches in SemOpenAlex for { <https://semopenalex.org/work/W2562777900> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2562777900 abstract "Abstract interpretation, symbolic execution, concolic testing and other techniques all require interpretation of a program. They all share common requirements for the interpreter, but also have their specialties. In this paper, we present a pragmatic interpreter framework that allows easy realization of all these use cases. This is possible because the interpreter supports arbitrary abstractions and strategies for the varying decisions that have to be considered for different analyses. Furthermore, since the interpreter works on an abstraction of the program, it is applicable for multiple input languages as well as models from model-based development. In this paper, we describe the design of the interpreter and demonstrate how easy it can be adapted to several analyses." @default.
- W2562777900 created "2017-01-06" @default.
- W2562777900 creator A5086943828 @default.
- W2562777900 date "2016-10-01" @default.
- W2562777900 modified "2023-09-26" @default.
- W2562777900 title "A Program Interpreter Framework for Arbitrary Abstractions" @default.
- W2562777900 cites W1502357785 @default.
- W2562777900 cites W1556604985 @default.
- W2562777900 cites W1649645444 @default.
- W2562777900 cites W1710734607 @default.
- W2562777900 cites W1720848645 @default.
- W2562777900 cites W1979693894 @default.
- W2562777900 cites W1980688815 @default.
- W2562777900 cites W2024905615 @default.
- W2562777900 cites W2043100293 @default.
- W2562777900 cites W206575229 @default.
- W2562777900 cites W2082172430 @default.
- W2562777900 cites W2101512909 @default.
- W2562777900 cites W2144344516 @default.
- W2562777900 cites W2281310552 @default.
- W2562777900 cites W2496789919 @default.
- W2562777900 doi "https://doi.org/10.1109/scam.2016.29" @default.
- W2562777900 hasPublicationYear "2016" @default.
- W2562777900 type Work @default.
- W2562777900 sameAs 2562777900 @default.
- W2562777900 citedByCount "2" @default.
- W2562777900 countsByYear W25627779002016 @default.
- W2562777900 countsByYear W25627779002019 @default.
- W2562777900 crossrefType "proceedings-article" @default.
- W2562777900 hasAuthorship W2562777900A5086943828 @default.
- W2562777900 hasConcept C105795698 @default.
- W2562777900 hasConcept C111472728 @default.
- W2562777900 hasConcept C11219265 @default.
- W2562777900 hasConcept C122783720 @default.
- W2562777900 hasConcept C124304363 @default.
- W2562777900 hasConcept C138885662 @default.
- W2562777900 hasConcept C199360897 @default.
- W2562777900 hasConcept C2777904410 @default.
- W2562777900 hasConcept C2779639559 @default.
- W2562777900 hasConcept C2780654840 @default.
- W2562777900 hasConcept C2781089630 @default.
- W2562777900 hasConcept C33923547 @default.
- W2562777900 hasConcept C41008148 @default.
- W2562777900 hasConcept C527412718 @default.
- W2562777900 hasConceptScore W2562777900C105795698 @default.
- W2562777900 hasConceptScore W2562777900C111472728 @default.
- W2562777900 hasConceptScore W2562777900C11219265 @default.
- W2562777900 hasConceptScore W2562777900C122783720 @default.
- W2562777900 hasConceptScore W2562777900C124304363 @default.
- W2562777900 hasConceptScore W2562777900C138885662 @default.
- W2562777900 hasConceptScore W2562777900C199360897 @default.
- W2562777900 hasConceptScore W2562777900C2777904410 @default.
- W2562777900 hasConceptScore W2562777900C2779639559 @default.
- W2562777900 hasConceptScore W2562777900C2780654840 @default.
- W2562777900 hasConceptScore W2562777900C2781089630 @default.
- W2562777900 hasConceptScore W2562777900C33923547 @default.
- W2562777900 hasConceptScore W2562777900C41008148 @default.
- W2562777900 hasConceptScore W2562777900C527412718 @default.
- W2562777900 hasLocation W25627779001 @default.
- W2562777900 hasOpenAccess W2562777900 @default.
- W2562777900 hasPrimaryLocation W25627779001 @default.
- W2562777900 hasRelatedWork W1509260072 @default.
- W2562777900 hasRelatedWork W1516883960 @default.
- W2562777900 hasRelatedWork W1974197738 @default.
- W2562777900 hasRelatedWork W1992012690 @default.
- W2562777900 hasRelatedWork W2094426601 @default.
- W2562777900 hasRelatedWork W2095560726 @default.
- W2562777900 hasRelatedWork W2176337899 @default.
- W2562777900 hasRelatedWork W2183481691 @default.
- W2562777900 hasRelatedWork W2267400914 @default.
- W2562777900 hasRelatedWork W2285272996 @default.
- W2562777900 hasRelatedWork W2293493256 @default.
- W2562777900 hasRelatedWork W2522537045 @default.
- W2562777900 hasRelatedWork W2735990162 @default.
- W2562777900 hasRelatedWork W2742980310 @default.
- W2562777900 hasRelatedWork W2772482116 @default.
- W2562777900 hasRelatedWork W2898668710 @default.
- W2562777900 hasRelatedWork W2956336273 @default.
- W2562777900 hasRelatedWork W3024313441 @default.
- W2562777900 hasRelatedWork W307916166 @default.
- W2562777900 hasRelatedWork W2556825119 @default.
- W2562777900 isParatext "false" @default.
- W2562777900 isRetracted "false" @default.
- W2562777900 magId "2562777900" @default.
- W2562777900 workType "article" @default.