Matches in SemOpenAlex for { <https://semopenalex.org/work/W3133745743> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W3133745743 abstract "Program analysis is the process of gathering deeper insights about source code and artefacts in order to keep complex software correct according to certain criteria. A key challenge in the program analysis domain is to have a standardised and reusable analysis that is fast, precise and simple. In this work, we propose to use state of the art semantic methodologies as a capability to overcome these limitations and achieve efficient program analyses. We use an ontology to model and standardise the domain, Resource Description Framework (RDF) to format the data, a triplestore to store and process the data and Datalog to represent the rules. From datalog, the program analyses rules are transformed into SPARQL (defacto query language for triplestore databases) queries for evaluation and execution. By this way, We have managed to convert the analysis rule execution challenges to a database query execution challenge, thereby optimising the query execution strategies, which will enable faster program analyses." @default.
- W3133745743 created "2021-03-15" @default.
- W3133745743 creator A5032688233 @default.
- W3133745743 creator A5068382625 @default.
- W3133745743 creator A5081689055 @default.
- W3133745743 date "2021-01-01" @default.
- W3133745743 modified "2023-10-16" @default.
- W3133745743 title "Efficient and Standardised Program Analyses using Semantic Methodologies" @default.
- W3133745743 cites W1543471126 @default.
- W3133745743 cites W1553894716 @default.
- W3133745743 cites W1671718115 @default.
- W3133745743 cites W1823445833 @default.
- W3133745743 cites W2158600037 @default.
- W3133745743 cites W2163521620 @default.
- W3133745743 cites W2261812172 @default.
- W3133745743 doi "https://doi.org/10.1109/icsc50631.2021.00018" @default.
- W3133745743 hasPublicationYear "2021" @default.
- W3133745743 type Work @default.
- W3133745743 sameAs 3133745743 @default.
- W3133745743 citedByCount "0" @default.
- W3133745743 crossrefType "proceedings-article" @default.
- W3133745743 hasAuthorship W3133745743A5032688233 @default.
- W3133745743 hasAuthorship W3133745743A5068382625 @default.
- W3133745743 hasAuthorship W3133745743A5081689055 @default.
- W3133745743 hasConcept C111472728 @default.
- W3133745743 hasConcept C115903868 @default.
- W3133745743 hasConcept C134306372 @default.
- W3133745743 hasConcept C138885662 @default.
- W3133745743 hasConcept C147497476 @default.
- W3133745743 hasConcept C148230440 @default.
- W3133745743 hasConcept C192028432 @default.
- W3133745743 hasConcept C199360897 @default.
- W3133745743 hasConcept C2129575 @default.
- W3133745743 hasConcept C23123220 @default.
- W3133745743 hasConcept C25810664 @default.
- W3133745743 hasConcept C33923547 @default.
- W3133745743 hasConcept C36503486 @default.
- W3133745743 hasConcept C41008148 @default.
- W3133745743 hasConcept C41009113 @default.
- W3133745743 hasConcept C77088390 @default.
- W3133745743 hasConcept C98045186 @default.
- W3133745743 hasConcept C98183937 @default.
- W3133745743 hasConceptScore W3133745743C111472728 @default.
- W3133745743 hasConceptScore W3133745743C115903868 @default.
- W3133745743 hasConceptScore W3133745743C134306372 @default.
- W3133745743 hasConceptScore W3133745743C138885662 @default.
- W3133745743 hasConceptScore W3133745743C147497476 @default.
- W3133745743 hasConceptScore W3133745743C148230440 @default.
- W3133745743 hasConceptScore W3133745743C192028432 @default.
- W3133745743 hasConceptScore W3133745743C199360897 @default.
- W3133745743 hasConceptScore W3133745743C2129575 @default.
- W3133745743 hasConceptScore W3133745743C23123220 @default.
- W3133745743 hasConceptScore W3133745743C25810664 @default.
- W3133745743 hasConceptScore W3133745743C33923547 @default.
- W3133745743 hasConceptScore W3133745743C36503486 @default.
- W3133745743 hasConceptScore W3133745743C41008148 @default.
- W3133745743 hasConceptScore W3133745743C41009113 @default.
- W3133745743 hasConceptScore W3133745743C77088390 @default.
- W3133745743 hasConceptScore W3133745743C98045186 @default.
- W3133745743 hasConceptScore W3133745743C98183937 @default.
- W3133745743 hasLocation W31337457431 @default.
- W3133745743 hasOpenAccess W3133745743 @default.
- W3133745743 hasPrimaryLocation W31337457431 @default.
- W3133745743 hasRelatedWork W13367195 @default.
- W3133745743 hasRelatedWork W3844123 @default.
- W3133745743 hasRelatedWork W4327990 @default.
- W3133745743 hasRelatedWork W5745568 @default.
- W3133745743 hasRelatedWork W6235636 @default.
- W3133745743 hasRelatedWork W7133794 @default.
- W3133745743 hasRelatedWork W7893316 @default.
- W3133745743 hasRelatedWork W8723092 @default.
- W3133745743 hasRelatedWork W985898 @default.
- W3133745743 hasRelatedWork W9924761 @default.
- W3133745743 isParatext "false" @default.
- W3133745743 isRetracted "false" @default.
- W3133745743 magId "3133745743" @default.
- W3133745743 workType "article" @default.