Matches in SemOpenAlex for { <https://semopenalex.org/work/W4226103410> ?p ?o ?g. }
Showing items 1 to 47 of
47
with 100 items per page.
- W4226103410 endingPage "80" @default.
- W4226103410 startingPage "77" @default.
- W4226103410 abstract "Spazio IT has been working on the Independent Software Verification and Validation of several codebases, some written in Ada, others in C/C++ and more recently also in Python; in all cases Spazio IT has used static analysis techniques and tools facilitating code inspection. Static analysis has always proven to be beneficial, but depending on the programming language, its advantages have emerged in different areas and namely: metrics and structural analysis for Ada, bugs finding at execution/semantic level for C/C++ and errors finding at compilation/syntactical level for Python. The paper presents first some general considerations on static analysis, then it concentrates on static analysis specifically applied to Ada, C/C++ and Python codebases. Finally, the paper describes Spazio IT future activities in the area of static analysis." @default.
- W4226103410 created "2022-05-05" @default.
- W4226103410 creator A5083241835 @default.
- W4226103410 date "2022-04-05" @default.
- W4226103410 modified "2023-10-16" @default.
- W4226103410 title "Static Analysis for Ada, C/C++ and Python" @default.
- W4226103410 doi "https://doi.org/10.1145/3530801.3530807" @default.
- W4226103410 hasPublicationYear "2022" @default.
- W4226103410 type Work @default.
- W4226103410 citedByCount "1" @default.
- W4226103410 countsByYear W42261034102022 @default.
- W4226103410 crossrefType "journal-article" @default.
- W4226103410 hasAuthorship W4226103410A5083241835 @default.
- W4226103410 hasConcept C137287247 @default.
- W4226103410 hasConcept C199360897 @default.
- W4226103410 hasConcept C2777904410 @default.
- W4226103410 hasConcept C41008148 @default.
- W4226103410 hasConcept C519991488 @default.
- W4226103410 hasConcept C529173508 @default.
- W4226103410 hasConcept C97686452 @default.
- W4226103410 hasConceptScore W4226103410C137287247 @default.
- W4226103410 hasConceptScore W4226103410C199360897 @default.
- W4226103410 hasConceptScore W4226103410C2777904410 @default.
- W4226103410 hasConceptScore W4226103410C41008148 @default.
- W4226103410 hasConceptScore W4226103410C519991488 @default.
- W4226103410 hasConceptScore W4226103410C529173508 @default.
- W4226103410 hasConceptScore W4226103410C97686452 @default.
- W4226103410 hasIssue "2" @default.
- W4226103410 hasLocation W42261034101 @default.
- W4226103410 hasOpenAccess W4226103410 @default.
- W4226103410 hasPrimaryLocation W42261034101 @default.
- W4226103410 hasRelatedWork W1814870153 @default.
- W4226103410 hasRelatedWork W2013637613 @default.
- W4226103410 hasRelatedWork W2032897247 @default.
- W4226103410 hasRelatedWork W2327204559 @default.
- W4226103410 hasRelatedWork W2529681551 @default.
- W4226103410 hasRelatedWork W3017187763 @default.
- W4226103410 hasRelatedWork W3134609580 @default.
- W4226103410 hasRelatedWork W4226103410 @default.
- W4226103410 hasRelatedWork W4232504361 @default.
- W4226103410 hasRelatedWork W4245752324 @default.
- W4226103410 hasVolume "41" @default.
- W4226103410 isParatext "false" @default.
- W4226103410 isRetracted "false" @default.
- W4226103410 workType "article" @default.