Matches in SemOpenAlex for { <https://semopenalex.org/work/W2520809601> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2520809601 endingPage "737" @default.
- W2520809601 startingPage "721" @default.
- W2520809601 abstract "Abstract Programmers currently enjoy access to a very high number of code repositories and libraries of ever increasing size. The ensuing potential for reuse is however hampered by the fact that searching within all this code becomes an increasingly difficult task. Most code search engines are based on syntactic techniques such as signature matching or keyword extraction. However, these techniques are inaccurate (because they basically rely on documentation) and at the same time do not offer very expressive code query languages. We propose a novel approach that focuses on querying for semantic characteristics of code obtained automatically from the code itself. Program units are pre-processed using static analysis techniques, based on abstract interpretation, obtaining safe semantic approximations. A novel, assertion-based code query language is used to express desired semantic characteristics of the code as partial specifications. Relevant code is found by comparing such partial specifications with the inferred semantics for program elements. Our approach is fully automatic and does not rely on user annotations or documentation. It is more powerful and flexible than signature matching because it is parametric on the abstract domain and properties, and does not require type definitions. Also, it reasons with relations between properties, such as implication and abstraction, rather than just equality. It is also more resilient to syntactic code differences. We describe the approach and report on a prototype implementation within the Ciao system." @default.
- W2520809601 created "2016-09-23" @default.
- W2520809601 creator A5008145265 @default.
- W2520809601 creator A5038035949 @default.
- W2520809601 creator A5073531919 @default.
- W2520809601 date "2016-09-01" @default.
- W2520809601 modified "2023-10-14" @default.
- W2520809601 title "Semantic code browsing" @default.
- W2520809601 cites W1508161107 @default.
- W2520809601 cites W1533556407 @default.
- W2520809601 cites W1965377774 @default.
- W2520809601 cites W2043100293 @default.
- W2520809601 cites W207722629 @default.
- W2520809601 cites W2116325485 @default.
- W2520809601 cites W2126129257 @default.
- W2520809601 cites W2142044962 @default.
- W2520809601 doi "https://doi.org/10.1017/s1471068416000417" @default.
- W2520809601 hasPublicationYear "2016" @default.
- W2520809601 type Work @default.
- W2520809601 sameAs 2520809601 @default.
- W2520809601 citedByCount "4" @default.
- W2520809601 countsByYear W25208096012019 @default.
- W2520809601 countsByYear W25208096012020 @default.
- W2520809601 countsByYear W25208096012022 @default.
- W2520809601 crossrefType "journal-article" @default.
- W2520809601 hasAuthorship W2520809601A5008145265 @default.
- W2520809601 hasAuthorship W2520809601A5038035949 @default.
- W2520809601 hasAuthorship W2520809601A5073531919 @default.
- W2520809601 hasBestOaLocation W25208096012 @default.
- W2520809601 hasConcept C177264268 @default.
- W2520809601 hasConcept C184337299 @default.
- W2520809601 hasConcept C199360897 @default.
- W2520809601 hasConcept C23123220 @default.
- W2520809601 hasConcept C2524010 @default.
- W2520809601 hasConcept C2776760102 @default.
- W2520809601 hasConcept C2779696439 @default.
- W2520809601 hasConcept C33923547 @default.
- W2520809601 hasConcept C41008148 @default.
- W2520809601 hasConcept C56666940 @default.
- W2520809601 hasConceptScore W2520809601C177264268 @default.
- W2520809601 hasConceptScore W2520809601C184337299 @default.
- W2520809601 hasConceptScore W2520809601C199360897 @default.
- W2520809601 hasConceptScore W2520809601C23123220 @default.
- W2520809601 hasConceptScore W2520809601C2524010 @default.
- W2520809601 hasConceptScore W2520809601C2776760102 @default.
- W2520809601 hasConceptScore W2520809601C2779696439 @default.
- W2520809601 hasConceptScore W2520809601C33923547 @default.
- W2520809601 hasConceptScore W2520809601C41008148 @default.
- W2520809601 hasConceptScore W2520809601C56666940 @default.
- W2520809601 hasIssue "5-6" @default.
- W2520809601 hasLocation W25208096011 @default.
- W2520809601 hasLocation W25208096012 @default.
- W2520809601 hasOpenAccess W2520809601 @default.
- W2520809601 hasPrimaryLocation W25208096011 @default.
- W2520809601 hasRelatedWork W1483213041 @default.
- W2520809601 hasRelatedWork W1587224678 @default.
- W2520809601 hasRelatedWork W1778728081 @default.
- W2520809601 hasRelatedWork W1846541313 @default.
- W2520809601 hasRelatedWork W2043057243 @default.
- W2520809601 hasRelatedWork W2056977125 @default.
- W2520809601 hasRelatedWork W2099080307 @default.
- W2520809601 hasRelatedWork W2384847609 @default.
- W2520809601 hasRelatedWork W27605384 @default.
- W2520809601 hasRelatedWork W1894736207 @default.
- W2520809601 hasVolume "16" @default.
- W2520809601 isParatext "false" @default.
- W2520809601 isRetracted "false" @default.
- W2520809601 magId "2520809601" @default.
- W2520809601 workType "article" @default.