Matches in SemOpenAlex for { <https://semopenalex.org/work/W2765376419> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2765376419 abstract "We present FlowSpec, a declarative specification language for the domain of dataflow analysis. FlowSpec has declarative support for the specification of control flow graphs of programming languages, and dataflow analyses on these control flow graphs. We define the formal semantics of FlowSpec, which is rooted in Monotone Frameworks. We also discuss a prototype implementation of the language, built in the Spoofax Language Workbench. Finally, we evaluate the expressiveness and conciseness of the language with two case studies. These case studies are analyses for Green-Marl, an industrial, domain-specific language for graph processing. The first case study is a classical dataflow analysis, scaled to this full language. The second case study is a domain-specific analysis of Green-Marl." @default.
- W2765376419 created "2017-11-10" @default.
- W2765376419 creator A5068714014 @default.
- W2765376419 creator A5072923235 @default.
- W2765376419 date "2017-10-23" @default.
- W2765376419 modified "2023-09-27" @default.
- W2765376419 title "FlowSpec: declarative dataflow analysis specification" @default.
- W2765376419 cites W1569821350 @default.
- W2765376419 cites W157564837 @default.
- W2765376419 cites W1576065148 @default.
- W2765376419 cites W1964071625 @default.
- W2765376419 cites W1970759612 @default.
- W2765376419 cites W1976218147 @default.
- W2765376419 cites W2018009728 @default.
- W2765376419 cites W2053152889 @default.
- W2765376419 cites W2104329103 @default.
- W2765376419 cites W2116098983 @default.
- W2765376419 cites W2119114955 @default.
- W2765376419 cites W2131449137 @default.
- W2765376419 cites W2135233439 @default.
- W2765376419 cites W2148425758 @default.
- W2765376419 cites W2170251310 @default.
- W2765376419 cites W2193084514 @default.
- W2765376419 cites W2238262809 @default.
- W2765376419 cites W2417567569 @default.
- W2765376419 cites W2513927163 @default.
- W2765376419 cites W2516458424 @default.
- W2765376419 cites W4206770190 @default.
- W2765376419 cites W4247889999 @default.
- W2765376419 cites W4256304126 @default.
- W2765376419 cites W781995223 @default.
- W2765376419 cites W98123372 @default.
- W2765376419 doi "https://doi.org/10.1145/3136014.3136029" @default.
- W2765376419 hasPublicationYear "2017" @default.
- W2765376419 type Work @default.
- W2765376419 sameAs 2765376419 @default.
- W2765376419 citedByCount "6" @default.
- W2765376419 countsByYear W27653764192020 @default.
- W2765376419 countsByYear W27653764192022 @default.
- W2765376419 crossrefType "proceedings-article" @default.
- W2765376419 hasAuthorship W2765376419A5068714014 @default.
- W2765376419 hasAuthorship W2765376419A5072923235 @default.
- W2765376419 hasConcept C135257023 @default.
- W2765376419 hasConcept C160191386 @default.
- W2765376419 hasConcept C184337299 @default.
- W2765376419 hasConcept C199360897 @default.
- W2765376419 hasConcept C201677973 @default.
- W2765376419 hasConcept C41008148 @default.
- W2765376419 hasConcept C96324660 @default.
- W2765376419 hasConceptScore W2765376419C135257023 @default.
- W2765376419 hasConceptScore W2765376419C160191386 @default.
- W2765376419 hasConceptScore W2765376419C184337299 @default.
- W2765376419 hasConceptScore W2765376419C199360897 @default.
- W2765376419 hasConceptScore W2765376419C201677973 @default.
- W2765376419 hasConceptScore W2765376419C41008148 @default.
- W2765376419 hasConceptScore W2765376419C96324660 @default.
- W2765376419 hasLocation W27653764191 @default.
- W2765376419 hasOpenAccess W2765376419 @default.
- W2765376419 hasPrimaryLocation W27653764191 @default.
- W2765376419 hasRelatedWork W1522789879 @default.
- W2765376419 hasRelatedWork W1537170012 @default.
- W2765376419 hasRelatedWork W1567436608 @default.
- W2765376419 hasRelatedWork W1596973835 @default.
- W2765376419 hasRelatedWork W1598781941 @default.
- W2765376419 hasRelatedWork W1734418519 @default.
- W2765376419 hasRelatedWork W1974631756 @default.
- W2765376419 hasRelatedWork W1995969393 @default.
- W2765376419 hasRelatedWork W2001722920 @default.
- W2765376419 hasRelatedWork W2003007905 @default.
- W2765376419 hasRelatedWork W2042398609 @default.
- W2765376419 hasRelatedWork W2062293768 @default.
- W2765376419 hasRelatedWork W2071906443 @default.
- W2765376419 hasRelatedWork W2107676802 @default.
- W2765376419 hasRelatedWork W2128216065 @default.
- W2765376419 hasRelatedWork W2132492370 @default.
- W2765376419 hasRelatedWork W2142835406 @default.
- W2765376419 hasRelatedWork W2151222102 @default.
- W2765376419 hasRelatedWork W2175228636 @default.
- W2765376419 hasRelatedWork W2986676029 @default.
- W2765376419 isParatext "false" @default.
- W2765376419 isRetracted "false" @default.
- W2765376419 magId "2765376419" @default.
- W2765376419 workType "article" @default.