FRINK Linked Data Fragments server

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

• W2990821992 abstract "Abstract Data-flow analysis is the static analysis of programs to estimate their approximate run-time behavior or approximate intermediate run-time values. It is an integral part of modern language specifications and compilers. In the specification of static semantics of programming languages, the concept of data-flow allows the description of well-formedness such as definite assignment of a local variable before its first use. In the implementation of compiler back-ends, data-flow analyses inform optimizations. Data-flow analysis has an established theoretical foundation. What lags behind is implementations of data-flow analysis in compilers, which are usually ad-hoc. This makes such implementations difficult to extend and maintain. In previous work researchers have proposed higher-level formalisms suitable for whole-program analysis in a separate tool, incremental analysis within editors, or bound to a specific intermediate representation. In this paper, we present FlowSpec , an executable formalism for specification of data-flow analysis. FlowSpec is a domain-specific language that enables direct and concise specification of data-flow analysis for programming languages, designed to express flow-sensitive, intra-procedural analyses. We define the formal semantics of FlowSpec in terms of monotone frameworks. We describe the design of FlowSpec using examples of standard analyses. We also include a description of our implementation of FlowSpec . In a case study we evaluate FlowSpec with the static analyses for Green-Marl , a domain-specific programming language for graph analytics." @default.
• W2990821992 created "2019-12-05" @default.
• W2990821992 creator A5005850065 @default.
• W2990821992 creator A5068714014 @default.
• W2990821992 creator A5072923235 @default.
• W2990821992 date "2020-04-01" @default.
• W2990821992 modified "2023-09-28" @default.
• W2990821992 title "FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis" @default.
• W2990821992 cites W1569821350 @default.
• W2990821992 cites W157564837 @default.
• W2990821992 cites W1576065148 @default.
• W2990821992 cites W1644882639 @default.
• W2990821992 cites W1712062258 @default.
• W2990821992 cites W1964071625 @default.
• W2990821992 cites W1969599528 @default.
• W2990821992 cites W1970759612 @default.
• W2990821992 cites W1976218147 @default.
• W2990821992 cites W1983170604 @default.
• W2990821992 cites W2018009728 @default.
• W2990821992 cites W2022744394 @default.
• W2990821992 cites W2025844353 @default.
• W2990821992 cites W2053152889 @default.
• W2990821992 cites W2069902027 @default.
• W2990821992 cites W2071990711 @default.
• W2990821992 cites W2097565535 @default.
• W2990821992 cites W2104329103 @default.
• W2990821992 cites W2109853339 @default.
• W2990821992 cites W2116098983 @default.
• W2990821992 cites W2116446217 @default.
• W2990821992 cites W2118382442 @default.
• W2990821992 cites W2124153277 @default.
• W2990821992 cites W2125872407 @default.
• W2990821992 cites W2128182770 @default.
• W2990821992 cites W2131449137 @default.
• W2990821992 cites W2135233439 @default.
• W2990821992 cites W2148425758 @default.
• W2990821992 cites W2151562310 @default.
• W2990821992 cites W2157036282 @default.
• W2990821992 cites W2170251310 @default.
• W2990821992 cites W2193084514 @default.
• W2990821992 cites W2238262809 @default.
• W2990821992 cites W2417567569 @default.
• W2990821992 cites W2513927163 @default.
• W2990821992 cites W2516458424 @default.
• W2990821992 cites W2765376419 @default.
• W2990821992 cites W2788011716 @default.
• W2990821992 cites W2913068020 @default.
• W2990821992 cites W781995223 @default.
• W2990821992 cites W945264116 @default.
• W2990821992 cites W98123372 @default.
• W2990821992 doi "https://doi.org/10.1016/j.cola.2019.100924" @default.
• W2990821992 hasPublicationYear "2020" @default.
• W2990821992 type Work @default.
• W2990821992 sameAs 2990821992 @default.
• W2990821992 citedByCount "2" @default.
• W2990821992 countsByYear W29908219922020 @default.
• W2990821992 countsByYear W29908219922021 @default.
• W2990821992 crossrefType "journal-article" @default.
• W2990821992 hasAuthorship W2990821992A5005850065 @default.
• W2990821992 hasAuthorship W2990821992A5068714014 @default.
• W2990821992 hasAuthorship W2990821992A5072923235 @default.
• W2990821992 hasBestOaLocation W29908219921 @default.
• W2990821992 hasConcept C119263510 @default.
• W2990821992 hasConcept C135257023 @default.
• W2990821992 hasConcept C15077461 @default.
• W2990821992 hasConcept C160145156 @default.
• W2990821992 hasConcept C169590947 @default.
• W2990821992 hasConcept C199360897 @default.
• W2990821992 hasConcept C201677973 @default.
• W2990821992 hasConcept C27458966 @default.
• W2990821992 hasConcept C34165917 @default.
• W2990821992 hasConcept C41008148 @default.
• W2990821992 hasConcept C489000 @default.
• W2990821992 hasConcept C50033165 @default.
• W2990821992 hasConcept C77088390 @default.
• W2990821992 hasConcept C80444323 @default.
• W2990821992 hasConcept C88468194 @default.
• W2990821992 hasConcept C97686452 @default.
• W2990821992 hasConcept C98183937 @default.
• W2990821992 hasConceptScore W2990821992C119263510 @default.
• W2990821992 hasConceptScore W2990821992C135257023 @default.
• W2990821992 hasConceptScore W2990821992C15077461 @default.
• W2990821992 hasConceptScore W2990821992C160145156 @default.
• W2990821992 hasConceptScore W2990821992C169590947 @default.
• W2990821992 hasConceptScore W2990821992C199360897 @default.
• W2990821992 hasConceptScore W2990821992C201677973 @default.
• W2990821992 hasConceptScore W2990821992C27458966 @default.
• W2990821992 hasConceptScore W2990821992C34165917 @default.
• W2990821992 hasConceptScore W2990821992C41008148 @default.
• W2990821992 hasConceptScore W2990821992C489000 @default.
• W2990821992 hasConceptScore W2990821992C50033165 @default.
• W2990821992 hasConceptScore W2990821992C77088390 @default.
• W2990821992 hasConceptScore W2990821992C80444323 @default.
• W2990821992 hasConceptScore W2990821992C88468194 @default.
• W2990821992 hasConceptScore W2990821992C97686452 @default.
• W2990821992 hasConceptScore W2990821992C98183937 @default.
• W2990821992 hasLocation W29908219921 @default.
• W2990821992 hasLocation W29908219922 @default.
• W2990821992 hasOpenAccess W2990821992 @default.
• W2990821992 hasPrimaryLocation W29908219921 @default.

• next