Matches in SemOpenAlex for { <https://semopenalex.org/work/W2895825088> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2895825088 abstract "Designing a static analysis is generally a substantial undertaking, requiring significant expertise in both program analysis and the domain of the program analysis, and significant development resources. As a result, most program analyses target properties that are universallly of interest (e.g., absence of null pointer dereference) or nearly so (e.g., deadlock freedom). However, many interesting program properties that would benefit from static checking are specific to individual programs, or sometimes programs utilizing a certain library. It is impractical to devote program analysis and verification experts to these problems. We propose instead to work on example-based synthesis of program analyses within well-understood domains like type qualifier systems and effect systems. The dynamic behaviors behind the classes of problems these systems prevent correspond to examples that developers who lack expertise in static analysis can readily provide (data flow paths, or stack traces)." @default.
- W2895825088 created "2018-10-26" @default.
- W2895825088 creator A5072587371 @default.
- W2895825088 date "2018-10-15" @default.
- W2895825088 modified "2023-09-27" @default.
- W2895825088 title "Synthesizing Program-Specific Static Analyses." @default.
- W2895825088 cites W1793982226 @default.
- W2895825088 cites W1963569294 @default.
- W2895825088 cites W2011565812 @default.
- W2895825088 cites W2043100293 @default.
- W2895825088 cites W2090746009 @default.
- W2895825088 cites W2109875364 @default.
- W2895825088 cites W2158809946 @default.
- W2895825088 cites W2162635569 @default.
- W2895825088 cites W2166049140 @default.
- W2895825088 cites W2537680118 @default.
- W2895825088 cites W2551508279 @default.
- W2895825088 cites W2733797181 @default.
- W2895825088 hasPublicationYear "2018" @default.
- W2895825088 type Work @default.
- W2895825088 sameAs 2895825088 @default.
- W2895825088 citedByCount "0" @default.
- W2895825088 crossrefType "posted-content" @default.
- W2895825088 hasAuthorship W2895825088A5072587371 @default.
- W2895825088 hasConcept C115903868 @default.
- W2895825088 hasConcept C134306372 @default.
- W2895825088 hasConcept C137287247 @default.
- W2895825088 hasConcept C140006998 @default.
- W2895825088 hasConcept C150202949 @default.
- W2895825088 hasConcept C154945302 @default.
- W2895825088 hasConcept C199360897 @default.
- W2895825088 hasConcept C2777904410 @default.
- W2895825088 hasConcept C33923547 @default.
- W2895825088 hasConcept C36503486 @default.
- W2895825088 hasConcept C41008148 @default.
- W2895825088 hasConcept C529173508 @default.
- W2895825088 hasConcept C7263679 @default.
- W2895825088 hasConcept C80444323 @default.
- W2895825088 hasConcept C97686452 @default.
- W2895825088 hasConcept C98183937 @default.
- W2895825088 hasConceptScore W2895825088C115903868 @default.
- W2895825088 hasConceptScore W2895825088C134306372 @default.
- W2895825088 hasConceptScore W2895825088C137287247 @default.
- W2895825088 hasConceptScore W2895825088C140006998 @default.
- W2895825088 hasConceptScore W2895825088C150202949 @default.
- W2895825088 hasConceptScore W2895825088C154945302 @default.
- W2895825088 hasConceptScore W2895825088C199360897 @default.
- W2895825088 hasConceptScore W2895825088C2777904410 @default.
- W2895825088 hasConceptScore W2895825088C33923547 @default.
- W2895825088 hasConceptScore W2895825088C36503486 @default.
- W2895825088 hasConceptScore W2895825088C41008148 @default.
- W2895825088 hasConceptScore W2895825088C529173508 @default.
- W2895825088 hasConceptScore W2895825088C7263679 @default.
- W2895825088 hasConceptScore W2895825088C80444323 @default.
- W2895825088 hasConceptScore W2895825088C97686452 @default.
- W2895825088 hasConceptScore W2895825088C98183937 @default.
- W2895825088 hasLocation W28958250881 @default.
- W2895825088 hasOpenAccess W2895825088 @default.
- W2895825088 hasPrimaryLocation W28958250881 @default.
- W2895825088 hasRelatedWork W1498543220 @default.
- W2895825088 hasRelatedWork W1571548985 @default.
- W2895825088 hasRelatedWork W2014971823 @default.
- W2895825088 hasRelatedWork W2050969390 @default.
- W2895825088 hasRelatedWork W2107149787 @default.
- W2895825088 hasRelatedWork W2119194484 @default.
- W2895825088 hasRelatedWork W2136077878 @default.
- W2895825088 hasRelatedWork W2140021378 @default.
- W2895825088 hasRelatedWork W2157198002 @default.
- W2895825088 hasRelatedWork W2240698759 @default.
- W2895825088 hasRelatedWork W2284871241 @default.
- W2895825088 hasRelatedWork W2528040273 @default.
- W2895825088 hasRelatedWork W2912642237 @default.
- W2895825088 hasRelatedWork W2913479927 @default.
- W2895825088 hasRelatedWork W2913718044 @default.
- W2895825088 hasRelatedWork W2950115587 @default.
- W2895825088 hasRelatedWork W2963621223 @default.
- W2895825088 hasRelatedWork W2966569298 @default.
- W2895825088 hasRelatedWork W3082710588 @default.
- W2895825088 hasRelatedWork W48559268 @default.
- W2895825088 isParatext "false" @default.
- W2895825088 isRetracted "false" @default.
- W2895825088 magId "2895825088" @default.
- W2895825088 workType "article" @default.