FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2625553213> ?p ?o ?g. }

• W2625553213 abstract "Static program analysis (s.p.a.) is utilized to reason about the run-time behavior of programs. Unfortunately, existing s.p.a. frameworks assume global (closed) programs, do not abstract well with regards to analysis or language, and lack a balance of compositionality with intensionality. We formalize and implement a framework for modular, automated s.p.a. It analyzes individual modules, links their results and computes analysis of the linked modules. It abstracts over analysis and language. And, it combines syntax-directed flow with comprehensive flow maintenance. We embark on natural semantics-based abstract interpretation as a generic s.p.a. framework that is both (semi)compositional and intensional. We obtain modularity through supercompilation (on-line partial evaluation) of natural semantics. First, we convert a classical natural semantics scheme into “small-step” tree-rewriting rules; these introduce “partial derivation trees” and enable supercompilation. Secondly, we modify higher-order values (closures) into functions. This yields “higher-order” derivations, that embed closures that embed derivations, and enables computing upon and reasoning about program modules. For each conversion, we prove congruence of derivations of the transformed rules to those of the corresponding original rules. We adapt and apply supercompilation to the tree-rewriting “higher-order” semantics given a modular program to perform its static analysis; linking is specified as a substitution on partial derivations. We validate feasibility of the project under two criteria: precision of analysis information and code improvement. Hence, we prescribe space-wise on-line optimizations for incremental construction of derivation trees interleaved with linking; the resulting link-time static analyzer computes the collecting semantics and the residual of a (partial) derivation tree. We then implement the optimized system, design comparative studies that test the different levels of each criterion, and conduct test cases on our system and two relevant existing systems. These experiments reveal superiority of our system in both criteria and in other fundamental and pragmatic aspects. Importantly, they indicate a speed-up of analysis by modularity. The drawback is slow specialization (over data) that is correctable. In summary, our system realizes a safe, sound and potentially competitive framework for modular s.p.a. This, with the formal specification, show feasibility of modular s.p.a. through partial evaluation." @default.
• W2625553213 created "2017-06-23" @default.
• W2625553213 creator A5020594899 @default.
• W2625553213 creator A5068336003 @default.
• W2625553213 date "1998-01-01" @default.
• W2625553213 modified "2023-09-26" @default.
• W2625553213 title "Specification and implementation of a framework for modular static program analysis" @default.
• W2625553213 hasPublicationYear "1998" @default.
• W2625553213 type Work @default.
• W2625553213 sameAs 2625553213 @default.
• W2625553213 citedByCount "0" @default.
• W2625553213 crossrefType "journal-article" @default.
• W2625553213 hasAuthorship W2625553213A5020594899 @default.
• W2625553213 hasAuthorship W2625553213A5068336003 @default.
• W2625553213 hasConcept C101468663 @default.
• W2625553213 hasConcept C114408938 @default.
• W2625553213 hasConcept C121375916 @default.
• W2625553213 hasConcept C154690210 @default.
• W2625553213 hasConcept C154945302 @default.
• W2625553213 hasConcept C184337299 @default.
• W2625553213 hasConcept C195701839 @default.
• W2625553213 hasConcept C199360897 @default.
• W2625553213 hasConcept C2778361913 @default.
• W2625553213 hasConcept C2779478453 @default.
• W2625553213 hasConcept C2780654840 @default.
• W2625553213 hasConcept C41008148 @default.
• W2625553213 hasConcept C42383842 @default.
• W2625553213 hasConcept C54355233 @default.
• W2625553213 hasConcept C80444323 @default.
• W2625553213 hasConcept C86803240 @default.
• W2625553213 hasConcept C97686452 @default.
• W2625553213 hasConceptScore W2625553213C101468663 @default.
• W2625553213 hasConceptScore W2625553213C114408938 @default.
• W2625553213 hasConceptScore W2625553213C121375916 @default.
• W2625553213 hasConceptScore W2625553213C154690210 @default.
• W2625553213 hasConceptScore W2625553213C154945302 @default.
• W2625553213 hasConceptScore W2625553213C184337299 @default.
• W2625553213 hasConceptScore W2625553213C195701839 @default.
• W2625553213 hasConceptScore W2625553213C199360897 @default.
• W2625553213 hasConceptScore W2625553213C2778361913 @default.
• W2625553213 hasConceptScore W2625553213C2779478453 @default.
• W2625553213 hasConceptScore W2625553213C2780654840 @default.
• W2625553213 hasConceptScore W2625553213C41008148 @default.
• W2625553213 hasConceptScore W2625553213C42383842 @default.
• W2625553213 hasConceptScore W2625553213C54355233 @default.
• W2625553213 hasConceptScore W2625553213C80444323 @default.
• W2625553213 hasConceptScore W2625553213C86803240 @default.
• W2625553213 hasConceptScore W2625553213C97686452 @default.
• W2625553213 hasLocation W26255532131 @default.
• W2625553213 hasOpenAccess W2625553213 @default.
• W2625553213 hasPrimaryLocation W26255532131 @default.
• W2625553213 hasRelatedWork W1430647328 @default.
• W2625553213 hasRelatedWork W1491762427 @default.
• W2625553213 hasRelatedWork W1513263504 @default.
• W2625553213 hasRelatedWork W1516211868 @default.
• W2625553213 hasRelatedWork W186029108 @default.
• W2625553213 hasRelatedWork W1968185772 @default.
• W2625553213 hasRelatedWork W1974939942 @default.
• W2625553213 hasRelatedWork W2040074068 @default.
• W2625553213 hasRelatedWork W2041641737 @default.
• W2625553213 hasRelatedWork W2048422440 @default.
• W2625553213 hasRelatedWork W2174129300 @default.
• W2625553213 hasRelatedWork W2184131427 @default.
• W2625553213 hasRelatedWork W2184175540 @default.
• W2625553213 hasRelatedWork W2296197518 @default.
• W2625553213 hasRelatedWork W2417480471 @default.
• W2625553213 hasRelatedWork W2953143047 @default.
• W2625553213 hasRelatedWork W3193483127 @default.
• W2625553213 hasRelatedWork W67718509 @default.
• W2625553213 hasRelatedWork W98805423 @default.
• W2625553213 hasRelatedWork W2182472493 @default.
• W2625553213 isParatext "false" @default.
• W2625553213 isRetracted "false" @default.
• W2625553213 magId "2625553213" @default.
• W2625553213 workType "article" @default.